Dzik W, Wróbel B. Unifiability and Structural Completeness in Relation Algebras and in Products of Modal Logic S5. B Sect Log [Internet]. 2015 Jan. 1 [cited 2025 Dec. 8];44(1/2):1-14. Available from: https://www.czasopisma.uni.lodz.pl/bulletin/article/view/16220