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