"The Halting Problem for Deductive Synthesis of Logic Programs."

Kung-Kiu Lau, Mario Ornaghi, Sten-Åke Tärnlund (1994)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics