%0 Conference Paper %1 conf/cade/BachmairT00 %A Bachmair, Leo %A Tiwari, Ashish %B CADE %D 2000 %E McAllester, David A. %I Springer %K dblp %P 64-78 %T Abstract Congruence Closure and Specializations. %U http://dblp.uni-trier.de/db/conf/cade/cade2000.html#BachmairT00 %V 1831 %@ 3-540-67664-3

@inproceedings{conf/cade/BachmairT00, added-at = {2019-11-06T00:00:00.000+0100}, author = {Bachmair, Leo and Tiwari, Ashish}, biburl = {https://www.bibsonomy.org/bibtex/2aef30133b0dec2de6556d4fcbe10eb3b/dblp}, booktitle = {CADE}, crossref = {conf/cade/2000}, editor = {McAllester, David A.}, ee = {https://doi.org/10.1007/10721959_5}, interhash = {315ff6f5c8d72ab14ce9c51ec6a78d4b}, intrahash = {aef30133b0dec2de6556d4fcbe10eb3b}, isbn = {3-540-67664-3}, keywords = {dblp}, pages = {64-78}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-11-07T11:42:55.000+0100}, title = {Abstract Congruence Closure and Specializations.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade2000.html#BachmairT00}, volume = 1831, year = 2000 }