Dzik, Wojciech, and Sándor Radeleczki. “Preserving Filtering Unification by Adding Compatible Operations to Some Heyting Algebras”. Bulletin of the Section of Logic 45, no. 3/4 (December 30, 2016): 257–267. Accessed May 3, 2024. https://czasopisma.uni.lodz.pl/bulletin/article/view/1823.