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.
@inproceedings{HallackZB98,
title = {Towards a Hybrid Model of First-Order Theory Refinement},
author = {Nelson A. Hallack and Gerson Zaverucha and Valmir C. Barbosa},
year = {1998},
tags = {refinement, C++},
researchr = {https://researchr.org/publication/HallackZB98},
cites = {0},
citedby = {0},
pages = {92-106},
booktitle = {Hybrid Neural Systems, revised papers from a workshop held December 4-5, 1998, Denver, USA},
editor = {Stefan Wermter and Ron Sun},
volume = {1778},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-67305-9},
}