The
Halting Problem for Deductive Synthesis of Logic Programs.
K.-K. Lau, M. Ornaghi, and S.-Å Tärnlund. In P. Van
Hentenryck, editor, Proceedings of the Eleventh International
Conference on Logic Programming, pages 665-683, MIT Press,
1994.
[Abstract] [Paper]
[BibTeX]