Rahim, S.; Rouzeyre, B.; Torres, L. A Flip-Flop Matching Engine to Verify Sequential Optimizations. Comput. Inform. 2012, 23, 437-460.