Nelson A. Hallack, Gerson Zaverucha, Valmir C. Barbosa. Towards a Hybrid Model of First-Order Theory Refinement. In Stefan Wermter, Ron Sun, editors, Hybrid Neural Systems, revised papers from a workshop held December 4-5, 1998, Denver, USA. Volume 1778 of Lecture Notes in Computer Science, pages 92-106, Springer, 1998.
Abstract is missing.