## 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, }