Dzik, Wojciech, and Beniamin Wróbel. “Unifiability and Structural Completeness in Relation Algebras and in Products of Modal Logic S5”. Bulletin of the Section of Logic 44, no. 1/2 (January 1, 2015): 1–14. Accessed December 8, 2025. https://www.czasopisma.uni.lodz.pl/bulletin/article/view/16220.