%0 Conference Paper %1 conf/iclp/SeresSH99 %A Seres, Silvija %A Spivey, J. Michael %A Hoare, C. A. R. %B ICLP %D 1999 %E Schreye, Danny De %I MIT Press %K dblp %P 184-199 %T Algebra of Logic Programming. %U http://dblp.uni-trier.de/db/conf/iclp/iclp99.html#SeresSH99 %@ 0-262-54104-1

@inproceedings{conf/iclp/SeresSH99, added-at = {2013-12-02T00:00:00.000+0100}, author = {Seres, Silvija and Spivey, J. Michael and Hoare, C. A. R.}, biburl = {https://www.bibsonomy.org/bibtex/2df95e930a94878be7b26dddc33bf2bc4/dblp}, booktitle = {ICLP}, crossref = {conf/iclp/1999}, editor = {Schreye, Danny De}, interhash = {f585cb2639998851e766da1c54606b8d}, intrahash = {df95e930a94878be7b26dddc33bf2bc4}, isbn = {0-262-54104-1}, keywords = {dblp}, pages = {184-199}, publisher = {MIT Press}, timestamp = {2013-12-03T11:34:31.000+0100}, title = {Algebra of Logic Programming.}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp99.html#SeresSH99}, year = 1999 }