%0 Conference Paper %1 conf/slp/HermenegildoR89 %A Hermenegildo, Manuel V. %A Rossi, Francesca %B NACLP %D 1989 %E Lusk, Ewing L. %E Overbeek, Ross A. %I MIT Press %K dblp %P 369-389 %T On the Correctness and Efficiency of Independent And-Parallelism in Logic Programs. %U http://dblp.uni-trier.de/db/conf/slp/slp89.html#HermenegildoR89 %@ 0-262-62064-2

@inproceedings{conf/slp/HermenegildoR89, added-at = {2024-01-23T00:00:00.000+0100}, author = {Hermenegildo, Manuel V. and Rossi, Francesca}, biburl = {https://www.bibsonomy.org/bibtex/2b52ef7dd11558513be1970ddd280a9c8/dblp}, booktitle = {NACLP}, crossref = {conf/slp/1989}, editor = {Lusk, Ewing L. and Overbeek, Ross A.}, interhash = {b61f383ef7848368ef6bbd85d9c7bf95}, intrahash = {b52ef7dd11558513be1970ddd280a9c8}, isbn = {0-262-62064-2}, keywords = {dblp}, pages = {369-389}, publisher = {MIT Press}, timestamp = {2024-04-10T03:28:38.000+0200}, title = {On the Correctness and Efficiency of Independent And-Parallelism in Logic Programs.}, url = {http://dblp.uni-trier.de/db/conf/slp/slp89.html#HermenegildoR89}, year = 1989 }