Uros Pompe Igor Kononenko Efficient Induction and Effective Use of First-Order Knowledge. 421-453 1998 12 Applied Artificial Intelligence 5 http://taylorandfrancis.metapress.com/openurl.asp?genre=article&issn=0883-9514&volume=12&issue=5&spage=421 db/journals/aai/aai12.html#PompeK98