Info Quantifier-free Theory of Equality Theory of Equality, Congruence closure algorithm, Theory of Lists