On the number of regions in input domain of a free distributive lattice | IEEE Journals & Magazine | IEEE Xplore