Sign in
An Algebraic Approach to Unification Under Associativity and Commutativity.
Albrecht Fortenbacher
Published in:
J. Symb. Comput. (1987)
Keyphrases
</>
theorem proving
higher order
knuth bendix
information systems
equational theories
pairwise