Adventures in Associative-Commutative Unification (A Summary).

Patrick Lincoln Jim Christian

Published in: CADE (1988)

Keyphrases

special case
higher order
artificial intelligence
database
data analysis
associative memory
theorem prover
theorem proving
text summarization