Gruszczyński R, Pietruszczak A. A comparison of two systems of point-free topology. B Sect Log [Internet]. 2018 Oct. 30 [cited 2024 May 18];47(3):187–200. Available from: https://www.czasopisma.uni.lodz.pl/bulletin/article/view/4715