@InProceedings{
   Lau&Ornaghi:04,
   Author = "K.-K. Lau and M. Ornaghi",
   Title = "Correct OO Systems in Computational Logic",
   BookTitle = "Proc. LOPSTR 03, LNCS 3018",
   Editor ="M. Bruynooghe",
   Pages = "34--53",
   Publisher = "Springer-Verlag",
   Year = "2004"  }