Klarlund, Nils, Mogens Nielsen, and Kim Sunesen. “Automated Logical Verification Based on Trace Abstractions”. BRICS Report Series 2, no. 53 (November 23, 1995). Accessed April 19, 2024. https://tidsskrift.dk/brics/article/view/19954.