A Formal View of Specification, Deductive Synthesis and Transformation of Logic Programs. K.-K. Lau and M. Ornaghi. In Y. Deville, editor, Proceedings of LOPSTR'93, pages 10-31, Springer-Verlag, 1994. [Abstract] [Paper] [BibTeX]