Unification Modulo ACI + 1 + 0.

Paliath Narendran

Published in: Fundam. Informaticae (1996)

Keyphrases

higher order
equational theories
theorem proving
theorem prover
databases
graphical models
lower bound
search space
fuzzy sets
automated theorem proving