Dzik, Wojciech, and Sándor Radeleczki. 2016. “Preserving Filtering Unification by Adding Compatible Operations to Some Heyting Algebras”. Bulletin of the Section of Logic 45 (3/4):257–267. https://doi.org/10.18778/0138-0680.45.3.4.08.