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