Content
Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures.
J. Symbolic Computation, 21:211-243, 1996.
| Authors/Editors: |
Franz Baader Klaus U. Schulz |
|---|---|
| Publication Date: | 1996 |
| Type of Publication: | Konferenzen/Journale |