Victor Navoarro Araujo Lemos da Silva, Guilherme N. F. de Souza, Gerson Zaverucha: An integration of neural networks and nonmonotonic reasoning for power system diagnosis. ICNN 1995: 1409-1413