Heping Zhang, Dewu Yang, Haiyuan Yao: Decomposition theorem on matchable distributive lattices. Discret. Appl. Math. 166: 239-248 (2014)