%0 Conference Paper %1 conf/cade/GanzingerHW03 %A Ganzinger, Harald %A Hillenbrand, Thomas %A Waldmann, Uwe %B CADE %D 2003 %E Baader, Franz %I Springer %K dblp %P 182-196 %T Superposition Modulo a Shostak Theory. %U http://dblp.uni-trier.de/db/conf/cade/cade2003.html#GanzingerHW03 %V 2741 %@ 3-540-40559-3

@inproceedings{conf/cade/GanzingerHW03, added-at = {2017-05-21T00:00:00.000+0200}, author = {Ganzinger, Harald and Hillenbrand, Thomas and Waldmann, Uwe}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/22145628efe700c30b331ef58568866e9/dblp}, booktitle = {CADE}, crossref = {conf/cade/2003}, editor = {Baader, Franz}, ee = {https://doi.org/10.1007/978-3-540-45085-6_15}, interhash = {720fee0f5fee7062323851bfe2dc122e}, intrahash = {2145628efe700c30b331ef58568866e9}, isbn = {3-540-40559-3}, keywords = {dblp}, pages = {182-196}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T15:38:44.000+0200}, title = {Superposition Modulo a Shostak Theory.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade2003.html#GanzingerHW03}, volume = 2741, year = 2003 }