The Ordering of Terms in Cut-based Recursive Disjoint Products | IEEE Journals & Magazine | IEEE Xplore