Quantifier-free Theory of Equality
Theory of Equality, Congruence closure algorithm, Theory of Lists
cclosure.pdf
—
PDF document,
273 kB (280205 bytes)