%0 Conference Paper %1 conf/slp/LeachNR97 %A Leach, Javier %A Nieva, Susana %A Rodríguez-Artalejo, Mario %B ILPS %D 1997 %E Maluszynski, Jan %I MIT Press %K dblp %P 307-321 %T Constraint Logic Programming with Hereditary Harrop Formulas. %U http://dblp.uni-trier.de/db/conf/slp/slp97.html#LeachNR97 %@ 0-262-63180-6

@inproceedings{conf/slp/LeachNR97, added-at = {2013-12-04T00:00:00.000+0100}, author = {Leach, Javier and Nieva, Susana and Rodríguez-Artalejo, Mario}, biburl = {https://www.bibsonomy.org/bibtex/28d9f0b30ec8397a87501347693d711ee/dblp}, booktitle = {ILPS}, crossref = {conf/slp/1997}, editor = {Maluszynski, Jan}, interhash = {8d6056a9bca44d66317a7c0b755de213}, intrahash = {8d9f0b30ec8397a87501347693d711ee}, isbn = {0-262-63180-6}, keywords = {dblp}, pages = {307-321}, publisher = {MIT Press}, timestamp = {2015-07-11T11:35:02.000+0200}, title = {Constraint Logic Programming with Hereditary Harrop Formulas.}, url = {http://dblp.uni-trier.de/db/conf/slp/slp97.html#LeachNR97}, year = 1997 }