A Formal Approach to Deductive Synthesis of Constraint Logic Programs. K.-K. Lau and M. Ornaghi. In J.W. Lloyd, editor, Proceedings of 1995 International Logic Programming Symposium, pages 543-557, MIT Press, 1995. [Abstract] [Paper] [BibTeX]