"Logic Program Synthesis by Induction over Horn Clauses."

Andrew J. Parkes, Geraint A. Wiggins (1995)
a service of Schloss Dagstuhl - Leibniz Center for Informatics