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