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