@InProceedings{
Lau&Ornaghi:00,
Author = "K.-K. Lau and M. Ornaghi",
Title = "Isoinitial Semantics for Logic Programs",
BookTitle = "Proceedings of the First International Conference on Computational 
             Logic, Lecture Notes in Artifical Intelligence 1861",
Editor = "J.W. Lloyd \emph{et al}",
Year = "2000",
Pages = "223-238",
Publisher = "Springer-Verlag"   }