W. Dzik and S. Radeleczki, “Preserving Filtering Unification by Adding Compatible Operations to Some Heyting Algebras”, B Sect Log, vol. 45, no. 3/4, pp. 257–267, Dec. 2016.