%0 Conference Paper %1 conf/frocos/BachmairRTV00 %A Bachmair, Leo %A Ramakrishnan, I. V. %A Tiwari, Ashish %A Vigneron, Laurent %B FroCoS %D 2000 %E Kirchner, Hélène %E Ringeissen, Christophe %I Springer %K dblp %P 245-259 %T Congruence Closure Modulo Associativity and Commutativity. %U http://dblp.uni-trier.de/db/conf/frocos/frocos2000.html#BachmairRTV00 %V 1794 %@ 3-540-67281-8

@inproceedings{conf/frocos/BachmairRTV00, added-at = {2019-11-06T00:00:00.000+0100}, author = {Bachmair, Leo and Ramakrishnan, I. V. and Tiwari, Ashish and Vigneron, Laurent}, biburl = {https://www.bibsonomy.org/bibtex/2a3dd7ba72af89c5381790062ce162f50/dblp}, booktitle = {FroCoS}, crossref = {conf/frocos/2000}, editor = {Kirchner, Hélène and Ringeissen, Christophe}, ee = {https://doi.org/10.1007/10720084_16}, interhash = {ed31e34f74b778d00dcc17731a802e32}, intrahash = {a3dd7ba72af89c5381790062ce162f50}, isbn = {3-540-67281-8}, keywords = {dblp}, pages = {245-259}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-11-07T11:43:47.000+0100}, title = {Congruence Closure Modulo Associativity and Commutativity.}, url = {http://dblp.uni-trier.de/db/conf/frocos/frocos2000.html#BachmairRTV00}, volume = 1794, year = 2000 }