Unification with Lazy Non-Redundant Copying.

Martin C. Emele

Published in: ACL (1991)

Keyphrases

higher order
databases
lazy learning
highly redundant
eliminating redundant
high level
neural network
decision making
database systems
face recognition
domain knowledge
theorem proving
equational theories