Logic Program Synthesis by Induction over Horn Clauses.

Andrew J. Parkes, Geraint A. Wiggins

Browse the full LOPSTR paper archive.