Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures

From International Center for Computational Logic

Toggle side column

Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures

Franz BaaderFranz Baader,  K. SchulzK. Schulz
Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures


Franz Baader, K. Schulz
Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures
Proceedings of the 11th International Conference on Automated Deduction, CADE-92, volume 607 of Lecture Notes in Computer Science, 50-65, 1992. Springer
The final publication is available at Springer.
@inproceedings{ BaaderSchulz-CADE-92,
  address = {Saratoga Springs (USA)},
  author = {F. {Baader} and K. {Schulz}},
  booktitle = {Proceedings of the 11th International Conference on Automated Deduction, {CADE-92}},
  pages = {50--65},
  publisher = {Springer--Verlag},
  series = {Lecture Notes in Computer Science},
  title = {Unification in the Union of Disjoint Equational Theories: {C}ombining Decision Procedures},
  volume = {607},
  year = {1992},
}