Dzik W, Radeleczki S. Preserving Filtering Unification by Adding Compatible Operations to Some Heyting Algebras. B Sect Log. 2016;45(3/4):257–267. doi:10.18778/0138-0680.45.3.4.08