-Unification.

Published in: RTA (1993)

Keyphrases

higher order
theorem proving
equational theories
theorem prover
database
databases
email
special case
management system
general purpose
distributed systems
wordnet
function symbols
automated theorem proving