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 |
| Vol. 19 | |
| Publisher: | Kluwer |
| Publication Date: | 1995 |
| Pages: | 95-131 |