N. Klarlund, M. Nielsen, and K. Sunesen, “Automated Logical Verification based on Trace Abstractions”, BRICS, vol. 2, no. 53, Nov. 1995.