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: https://www.cai.sk/ojs/index.php/cai/article/view/439 (Accessed: 6 May 2024).