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 July 23, 2024. https://czasopisma.uni.lodz.pl/bulletin/article/view/16220.