"An Incompleteness Result for Deductive Synthesis of Logic Programs."

Kung-Kiu Lau, Mario Ornaghi (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics