Óscar Trelles, «Filosofía, lógica y computación», ESTFIL, n.º 2, p. 87, jun. 1991.