"Theory-Guideed Induction of Logic Programs by Inference of Regular Languages."

Henrik Boström (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics