On the Relationship of Congruence Closure and Unification.

Paris C. Kanellakis Peter Z. Revesz

Published in: DBPL (1987)

Keyphrases

higher order
data structure
multiresolution
genetic algorithm
three dimensional
probabilistic model
theorem proving