An implementation of a theorem prover in symmetric neural networks. - Alvaro Kilkerry Neto; Gerson Zaverucha; Luís Alfredo Vidal de Carvalho (IJCNN, 1999)