%0 Conference Paper %1 conf/slp/BruynoogheSM91 %A Bruynooghe, Maurice %A Schreye, Danny De %A Martens, Bern %B ISLP %D 1991 %E Saraswat, Vijay A. %E Ueda, Kazunori %I MIT Press %K dblp %P 117-131 %T A General Criterion for Avoiding Infinite Unfolding During Partial Deduction of Logic Programs. %U http://dblp.uni-trier.de/db/conf/slp/slp91.html#BruynoogheSM91 %@ 0-262-69147-7

@inproceedings{conf/slp/BruynoogheSM91, added-at = {2013-12-04T00:00:00.000+0100}, author = {Bruynooghe, Maurice and Schreye, Danny De and Martens, Bern}, biburl = {https://www.bibsonomy.org/bibtex/2c629e7b174ebb7ea53c8155c6140a278/dblp}, booktitle = {ISLP}, crossref = {conf/slp/1991}, editor = {Saraswat, Vijay A. and Ueda, Kazunori}, interhash = {599a8df2dc3212fd88a8f025bc8d2450}, intrahash = {c629e7b174ebb7ea53c8155c6140a278}, isbn = {0-262-69147-7}, keywords = {dblp}, pages = {117-131}, publisher = {MIT Press}, timestamp = {2013-12-05T11:35:29.000+0100}, title = {A General Criterion for Avoiding Infinite Unfolding During Partial Deduction of Logic Programs.}, url = {http://dblp.uni-trier.de/db/conf/slp/slp91.html#BruynoogheSM91}, year = 1991 }