The Relationship between Logic Programs
and Specifications - The Subset Example Revisited.
K.-K. Lau and M. Ornaghi. Journal of Logic
Programming 30(3):239-257, March 1997.
[Abstract] [Paper]
[BibTeX]
On the Relationship between Logic Programs and Specifications.
K.-K. Lau and M. Ornaghi. In M. Falachi, M. Navarro,
and A. Policriti, editors,
Proceedings of the 1997 Joint Conference on
Declarative Programming, pages 433-445, Grado, Italy, June
1997.
[Abstract] [Paper]
[BibTeX]
Forms of Logic Specifications: A Preliminary Study.
K.-K. Lau and M. Ornaghi.
In J. Gallagher, editor, Proceedings of LOPSTR'96,
Lecture Notes in Computer Science 1207, pages 295-312,
Springer-Verlag, 1997.
[Abstract] [Paper]
[BibTeX]