M. Gehrke and B. Jónsson, “Bounded distributive lattice expansions”, Math. Scand., vol. 94, no. 1, pp. 13–45, Mar. 2004, doi: 10.7146/math.scand.a-14428.