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