Andrew J. Parkes, Geraint A. Wiggins. Logic Program Synthesis by Induction over Horn Clauses. In Maurizio Proietti, editor, Logic Programming Synthesis and Transformation, 5th International Workshop, LOPSTR 95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings. Volume 1048 of Lecture Notes in Computer Science, pages 170, Springer, 1995.
Abstract is missing.