J. M. C. Manzano, “An intermediate term functor logic”, ARG. Rev. Fil, vol. 11, nº 22, p. 17–31, nov. 2019.