Equivalence Checking Using Cuts And Heaps | IEEE Conference Publication | IEEE Xplore