Convex expansion for finite distributive lattices with applications - Xu Wang; Xuxu Zhao; Haiyuan Yao (2018)