L. Moura, “Métodos Lógicos”, RDV, vol. 4, nº 3, p. 14–17, maio 2003.