Towards a Hybrid Model of First-Order Theory Refinement. - Nelson A. Hallack; Gerson Zaverucha; Valmir Carneiro Barbosa (Hybrid Neural Systems, 1998)