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 2024 Jul. 23];44(1/2):1-14. Available from: https://czasopisma.uni.lodz.pl/bulletin/article/view/16220