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