Applying the connectionist inductive learning and logic programming system to power system diagnosis
Foundations of Logic Programming