Gruszczyński, R. and Pietruszczak, A. (2018) “A comparison of two systems of point-free topology”, Bulletin of the Section of Logic, 47(3), pp. 187–200. doi: 10.18778/0138-0680.47.3.04.