Dzik, W., & Wróbel, B. (2015). Unifiability and Structural Completeness in Relation Algebras and in Products of Modal Logic S5. Bulletin of the Section of Logic, 44(1/2), 1–14. https://doi.org/10.18778/0138-0680.44.1.2.01