Experimental results on preprocessing of path/cut terms in sim of disjoint products technique | IEEE Journals & Magazine | IEEE Xplore