Automated refinement of first-order hornclause domain theories (1995)

by B Richards, R Mooney
Venue:Machine Learning