Content
Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures
CIS-Bericht-92-59
| Authors/Editors: |
Franz Baader Klaus U. Schulz |
|---|---|
| Publication Date: | 1992 |
| Type of Publication: | Veröffentlichungen in der Reihe CIS-Berichte |