Automated deduction with associative-commutative operators
Applicable Algebra in Engineering Communication and Computing1995Vol. 6(1), pp. 23–56
Related Papers
- → Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity(1974)254 cited
- → Any ground associative-commutative theory has a finite canonical system(1991)60 cited
- → Any ground associative-commutative theory has a finite canonical system(1996)9 cited
- → A General Refutational Completeness Result for an Inference Procedure Based on Associative-Commutative Unification(1992)12 cited
- → Automated deduction with associative commutative operators(1991)7 cited