Dzik, Wojciech, and Beniamin Wróbel. 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.