A New Approach to Universal Unification and Its Application to AC-Unification.

Mark Franzen Lawrence J. Henschen

Published in: CADE (1988)

Keyphrases

higher order
theorem proving
artificial intelligence
equational theories
social networks
automated theorem proving
data sets
decision making
user interface
knowledge representation
theorem prover
knuth bendix