Voutsadakis G. Categorical Abstract Algebraic Logic: Referential π-Institutions. B Sect Log [Internet]. 2015 Jan. 1 [cited 2025 Dec. 8];44(1/2):33–51. Available from: https://www.czasopisma.uni.lodz.pl/bulletin/article/view/16226