A New Hyperparamodulation Strategy for the Equality Relation.

Younghwan Lim Lawrence J. Henschen

Published in: IJCAI (1985)

Keyphrases

equivalence relation
databases
high level
cooperative
optimal strategy
knowledge base
selection strategy