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 February 12, 2026. https://czasopisma.uni.lodz.pl/bulletin/article/view/16220.