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), pp. 1–14. doi: 10.18778/0138-0680.44.1.2.01.