S. Rahim, B. Rouzeyre, and L. Torres, “A Flip-Flop Matching Engine to Verify Sequential Optimizations”, Comput. Inform., vol. 23, no. 5-6, pp. 437–460, Feb. 2012.