@inproceedings{HillS:padl03,
  author =    {Hill, P.~M. and Spoto, F.},
  title =     {Logic {P}rograms as {C}ompact {D}enotations},
  editor =    {V.~Dahl and P.~Wadler},
  booktitle = {The Fifth International Symposium on 
                Practical Aspects of Declarative Languages, PADL '03},
  publisher = {Springer-Verlag, Berlin},
  pages =     {339--356},
  Series =    {Lecture Notes in Computer Science},
  Address =   {New Orleans, USA},
  year =      {2003}
}