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