Categorical abstract algebraic logic: Equivalent institutions
scientific article; zbMATH DE number 2042715