Dzik, W. and 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 (Jan. 2015), 1–14. DOI:https://doi.org/10.18778/0138-0680.44.1.2.01.