Silvija Seres, J. Michael Spivey, Charles Antony Richard Hoare
Algebra of Logic Programming
ICLP, 1999.
@inproceedings{ICLP-1999-SeresSH,
author = "Silvija Seres and J. Michael Spivey and Charles Antony Richard Hoare",
booktitle = "{Proceedings of the 15th International Conference on Logic Programming}",
isbn = "0-262-54104-1",
pages = "184--199",
publisher = "{MIT Press}",
title = "{Algebra of Logic Programming}",
year = 1999,
}