@Article{HillS-clss03,
  author =       {Hill, P. M. and Spoto, F.},
  title =        {Logic programs as compact denotations},
  journal =      {Computer Languages, Systems \& Structures},
  year =         {2003},
  volume =       {29},
  number =       {3},
  pages =        {45--73},
  publisher =    {Elsevier},
  url =          {www.ComputerScienceWeb.com}
}