Dzik, W., and S. Radeleczki. “Preserving Filtering Unification by Adding Compatible Operations to Some Heyting Algebras”. Bulletin of the Section of Logic, vol. 45, no. 3/4, Dec. 2016, pp. 257–267, doi:10.18778/0138-0680.45.3.4.08.