(1)
Manzano, J. M. C. An Intermediate Term Functor Logic. ARG. Rev. Fil 2019, 11, 17-31.