Nikolaos D. Liveris Hai Zhou Prithviraj Banerjee Complete-k-distinguishability for retiming and resynthesis equivalence checking without restricting synthesis. 636-641 2009 ASP-DAC http://doi.acm.org/10.1145/1509633.1509780 conf/aspdac/2009 db/conf/aspdac/aspdac2009.html#LiverisZB09