-Unification Revisited.

Ashish Tiwari Leo Bachmair Harald Rueß

Published in: CADE (2000)

Keyphrases

higher order
theorem proving
machine learning
management system
equational theories
artificial intelligence
fine grained
orders of magnitude
theorem prover
knuth bendix