Klarlund, N., Nielsen, M., & Sunesen, K. (1995). Automated Logical Verification based on Trace Abstractions. BRICS Report Series, 2(53). https://doi.org/10.7146/brics.v2i53.19954