%0 Conference Paper %1 conf/cade/BaaderS92 %A Baader, Franz %A Schulz, Klaus U. %B CADE %D 1992 %E Kapur, Deepak %I Springer %K dblp %P 50-65 %T Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures. %U http://dblp.uni-trier.de/db/conf/cade/cade92.html#BaaderS92 %V 607 %@ 3-540-55602-8

@inproceedings{conf/cade/BaaderS92, added-at = {2017-05-20T00:00:00.000+0200}, author = {Baader, Franz and Schulz, Klaus U.}, biburl = {https://www.bibsonomy.org/bibtex/265c041b817714bcd33fe1e4cdcc6be30/dblp}, booktitle = {CADE}, crossref = {conf/cade/1992}, editor = {Kapur, Deepak}, ee = {https://doi.org/10.1007/3-540-55602-8_155}, interhash = {126b560db25c3e1b55f1b88ba4f370a8}, intrahash = {65c041b817714bcd33fe1e4cdcc6be30}, isbn = {3-540-55602-8}, keywords = {dblp}, pages = {50-65}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:56:30.000+0200}, title = {Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade92.html#BaaderS92}, volume = 607, year = 1992 }