Rahim, S., Rouzeyre, B., & Torres, L. (2004). A Flip-Flop Matching Engine to Verify Sequential Optimizations. Computing and Informatics, 23(5-6), 437–460. https://cai.type.sk/content/2004/5-6/a-flip-flop-matching-engine-to-verify-sequential-optimizations/