W. Dzik and B. Wróbel, “Unifiability and Structural Completeness in Relation Algebras and in Products of Modal Logic S5”, B Sect Log, vol. 44, no. 1/2, pp. 1–14, Jan. 2015.