AC Unification Through Order-Sorted AC1 Unification.

Published in: J. Symb. Comput. (1992)

Keyphrases

higher order
theorem proving
theorem prover
arc consistency
automated theorem proving
artificial intelligence
data mining
data structure
equational theories