Automated Refinement of First-Order Horn-Clause Domain Theories
| Authored By: | Bradley L. Richards and Raymond J. Mooney |
| Paper Title: | Automated Refinement of First-Order Horn-Clause Domain Theories |
| In: | Machine Learning |
| Number 2 Vol. 19 | |
| Publisher: | Kluwer Academic Publishers, Boston |
| Publication Date: | 1995 |
| Pages: | 95-131 |