Gehrke M, Jónsson B. Bounded distributive lattice expansions. Math. Scand. 2004;94(1):13-45. doi:10.7146/math.scand.a-14428