Automated Refinement of First-Order Horn-Clause Domain Theories.

Bradley L. Richards Raymond J. Mooney Automated Refinement of First-Order Horn-Clause Domain Theories. 95-131 1995 19 Machine Learning 2 db/journals/ml/ml19.html#RichardsM95