Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures
- 1 February 1996
- journal article
- Published by Elsevier in Journal of Symbolic Computation
- Vol. 21 (2) , 211-243
- https://doi.org/10.1006/jsco.1996.0009
Abstract
No abstract availableThis publication has 0 references indexed in Scilit: