Cited in
(13)- A case study of completion modulo distributivity and Abelian groups
- An application of automated equational reasoning to many-valued logic
- Towards a foundation of completion procedures as semidecision procedures
- Automated proofs of the Moufang identities in alternative rings
- AURA
- InvX
- THEOPOGLES
- RRL
- Some experiments with a completion theorem prover
- Automated deduction with associative-commutative operators
- The application of automated reasoning to questions in mathematics and logic
- Completion procedures as semidecision procedures
- Rewriting techniques and applications. 3rd international conference, RTA-89, Chapel Hill, NC, USA, April 3--5, 1989. Proceedings
This page was built for software: SbReve2
