Dzik W, Radeleczki S. Preserving Filtering Unification by Adding Compatible Operations to Some Heyting Algebras. B Sect Log [Internet]. 2016 Dec. 30 [cited 2024 May 3];45(3/4):257–267. Available from: https://czasopisma.uni.lodz.pl/bulletin/article/view/1823