A Case of Termination for Associative Unification.

Patrice Enjalbert Françoise Clérin-Debart

Published in: IWWERT (1991)

Keyphrases

spreading activation
real time
artificial intelligence
higher order
theorem proving
database
pairwise