@InProceedings{
Lau&Ornaghi:97a,
Author = "K.-K. Lau and M. Ornaghi",
Title = "On the Relationship between Logic Programs and Specification",
BookTitle = "Proceedings of the 1997 Joint Conference on Declarative 
             Programming",
Editor = "M.~Falachi and M.~Navarro and A.~Policriti",
Year = "1997",
Pages = "433-445",
Note = "Grado, Italy, June 1997"   }