Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic
scientific article; zbMATH DE number 1975908