Regular PaperUnification in the Union of Disjoint Equational Theories: Combining Decision Procedures
Under an Elsevier user license
open archive
Cited by (0)
- f1
E-mail: [email protected]
- f2
E-mail: [email protected]
Copyright © 1996 Published by Elsevier Ltd. All rights reserved.