%0 Conference Paper %1 conf/slp/DovierR93 %A Dovier, Agostino %A Rossi, Gianfranco %B ILPS %D 1993 %E Miller, Dale %I MIT Press %K dblp %P 540-556 %T Embedding extensional finite sets in CLP. %U http://dblp.uni-trier.de/db/conf/slp/slp93.html#DovierR93 %@ 0-262-63152-0

@inproceedings{conf/slp/DovierR93, added-at = {2013-12-04T00:00:00.000+0100}, author = {Dovier, Agostino and Rossi, Gianfranco}, biburl = {https://www.bibsonomy.org/bibtex/2ab7381b6d9994cf29cee10b2e959423a/dblp}, booktitle = {ILPS}, crossref = {conf/slp/1993}, editor = {Miller, Dale}, interhash = {0f1a0a99a3a5b7cd7198004e78343f27}, intrahash = {ab7381b6d9994cf29cee10b2e959423a}, isbn = {0-262-63152-0}, keywords = {dblp}, pages = {540-556}, publisher = {MIT Press}, timestamp = {2013-12-05T11:35:58.000+0100}, title = {Embedding extensional finite sets in CLP.}, url = {http://dblp.uni-trier.de/db/conf/slp/slp93.html#DovierR93}, year = 1993 }