Quantifiers and Congruence Closure. - Jörg Flum; Matthias Schiehlen; Jouko A. Väänänen (Stud Logica, 1999)