T. Troster, P. A. A. Falcão, e C. Barahona, “Completude de uma lógica antiga”, Rev Cognitio, vol. 21, nº 2, p. 362–370, jan. 2021.