@inproceedings{DBLP:conf/iclp/SeresSH99,
  title = "Algebra of Logic Programming",
  author = "Silvija Seres and J. Michael Spivey and C. A. R. Hoare",
  year = "1999",
  booktitle = "Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999",
  editor = "Danny De Schreye",
  pages = "184-199",
  publisher = "MIT Press",
}