Rahim, S., Rouzeyre, B. and Torres, L. (2012) “A Flip-Flop Matching Engine to Verify Sequential Optimizations”, Computing and Informatics, 23(5-6), pp. 437–460. Available at: http://147.213.75.17/ojs/index.php/cai/article/view/439 (Accessed: 8 November 2024).