Quantifier-free Theory of Equality
Theory of Equality, Congruence closure algorithm, Theory of Lists
all.pdf — PDF document, 316 kB (324051 bytes)