Minimal Set Unification.

Puri Arenas-Sánchez Agostino Dovier

Published in: GULP-PRODE (1995)

Keyphrases

higher order
theorem proving
theorem prover
automated theorem proving
general purpose
equational theories
database systems
multi agent
inference rules
information systems
query processing
knowledge representation
object oriented
orders of magnitude
function symbols