Your search returned the following 3 documents:
-
Equational Reasoning in Saturation-Based Theorem Proving
Leo Bachmair and Harald Ganzinger
In: Automated Deduction: A Basis for Applications, 1998, 353-397
-
Sorted Unification and Tree Automata
Christoph Weidenbach
In: Automated Deduction - A Basis for Applications, 1998, 291-320
-
Superposition theorem proving for commutative rings
Jürgen Stuber
In: Automated Deduction - A Basis for Applications. Volume III. Applications, 1998, 31-55