Dzik, W.; Radeleczki, S. Preserving Filtering Unification by Adding Compatible Operations to Some Heyting Algebras. B Sect Log 2016, 45, 257–267.