The transitive closures of matrices over distributive lattices | IEEE Conference Publication | IEEE Xplore