L. Rosa, “Tipos incondicionais de inferência e o conhecimento lógico”, Veritas, vol. 61, nº 2, p. 350–362, dez. 2016.