Gehrke, M., & Jónsson, B. (2004). Bounded distributive lattice expansions. MATHEMATICA SCANDINAVICA, 94(1), 13–45. https://doi.org/10.7146/math.scand.a-14428