An Incompleteness Result for Deductive Synthesis of Logic
Programs.
K.-K. Lau and M. Ornaghi. In D.S. Warren, editor,
Proceedings of the Tenth International Conference on Logic
Programming, pages 456-477, MIT Press, 1993.
[Abstract] [Paper] [BibTeX]
Back to Kung-Kiu Lau's
home page