Klarlund, N.; Nielsen, M.; Sunesen, K. Automated Logical Verification Based on Trace Abstractions. BRICS 1995, 2.