On the generation of d-ordered sets: a proof based on determinant theory | IEEE Journals & Magazine | IEEE Xplore