@InProceedings{
Lau&Ornaghi:98,
Author = "K.-K. Lau and M. Ornaghi",
Title = "Isoinitial  Models for Logic Programs: A Preliminary Study",
BookTitle = "Proceedings of the 1998 Joint Conference on Declarative 
             Programming",
Editor = "J.L.~Freire-Nistal, M.~Falaschi, and M.~Vilares-Ferro",
Year = "1998",
Pages = "443-455",
Note = "A Coru\~{n}a, Spain, July 1998"   }