%0 Conference Paper %1 conf/ijcai/Lutz99 %A Lutz, Carsten %B IJCAI %D 1999 %E Dean, Thomas %I Morgan Kaufmann %K %P 90-95 %T Reasoning with Concrete Domains. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai99.html#Lutz99 %@ 1-55860-613-0

@inproceedings{conf/ijcai/Lutz99, added-at = {2023-12-12T19:49:21.000+0100}, author = {Lutz, Carsten}, biburl = {https://www.bibsonomy.org/bibtex/2c1277046881d8676781af8737824e84b/admin}, booktitle = {IJCAI}, crossref = {conf/ijcai/99}, editor = {Dean, Thomas}, ee = {http://ijcai.org/Proceedings/99-1/Papers/014.pdf}, interhash = {267704e9b535526622b8af64f5986207}, intrahash = {c1277046881d8676781af8737824e84b}, isbn = {1-55860-613-0}, keywords = {}, pages = {90-95}, publisher = {Morgan Kaufmann}, timestamp = {2023-12-12T19:49:21.000+0100}, title = {Reasoning with Concrete Domains.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai99.html#Lutz99}, year = 1999 }