## Kung-Kiu Lau, Mario Ornaghi, Sten-Åke Tärnlund

*The Halting Problem for Deductive Synthesis of Logic Programs*

ICLP, 1994.

@inproceedings{ICLP-1994-LauOT, author = "Kung-Kiu Lau and Mario Ornaghi and Sten-Åke Tärnlund", booktitle = "{Proceedings of the 11th International Conference on Logic Programming}", isbn = "0-262-72022-1", pages = "665--683", publisher = "{MIT Press}", title = "{The Halting Problem for Deductive Synthesis of Logic Programs}", year = 1994, }