N. Klarlund, M. Nielsen, og K. Sunesen, “Automated Logical Verification based on Trace Abstractions”, BRICS, bd. 2, nr. 53, nov. 1995.