%0 Conference Paper %1 conf/slp/MacdonaldSY93 %A Macdonald, Andrew D. %A Stuckey, Peter J. %A Yap, Roland H. C. %B ILPS %D 1993 %E Miller, Dale %I MIT Press %K dblp %P 75-93 %T Redundancy of Variables in CLP (R). %U http://dblp.uni-trier.de/db/conf/slp/slp93.html#MacdonaldSY93 %@ 0-262-63152-0

@inproceedings{conf/slp/MacdonaldSY93, added-at = {2013-12-04T00:00:00.000+0100}, author = {Macdonald, Andrew D. and Stuckey, Peter J. and Yap, Roland H. C.}, biburl = {https://www.bibsonomy.org/bibtex/25ff3fa5f382736b67634d0181fc45b63/dblp}, booktitle = {ILPS}, crossref = {conf/slp/1993}, editor = {Miller, Dale}, interhash = {9b29bb7aa620a8e5896e796a5b8f370a}, intrahash = {5ff3fa5f382736b67634d0181fc45b63}, isbn = {0-262-63152-0}, keywords = {dblp}, pages = {75-93}, publisher = {MIT Press}, timestamp = {2013-12-05T11:35:58.000+0100}, title = {Redundancy of Variables in CLP (R).}, url = {http://dblp.uni-trier.de/db/conf/slp/slp93.html#MacdonaldSY93}, year = 1993 }