Equational Formulas with Membership Constraints

• 1 August 1994
• journal article
• Published by Elsevier in Information and Computation
• Vol. 112  (2) , 167-216
• https://doi.org/10.1006/inco.1994.1056

Abstract

Keywords

• CONSTRAINTS
• MEMBERSHIP
• FORMULAE
• STRUCTURE
• EQUATIONS
• INDUCTIVE
• TERMINATING
• ALGEBRAIC
• ATOMS