Henrik Boström Theory-Guideed Induction of Logic Programs by Inference of Regular Languages. 46-53 1996 ICML db/conf/icml/icml1996.html#Bostrom96