First Order Theory Refinement. (1996)

by S Wrobel
Venue:Advances in Inductive Logic programming,