Dzik, W.; Wróbel, B. Unifiability and Structural Completeness in Relation Algebras and in Products of Modal Logic S5. B Sect Log 2015, 44, 1-14.