Rahim, S., Rouzeyre, B., & Torres, L. (2012). A Flip-Flop Matching Engine to Verify Sequential Optimizations. Computing and Informatics, 23(5-6), 437–460. Retrieved from http://147.213.75.17/ojs/index.php/cai/article/view/439