KLARLUND, N.; NIELSEN, M.; SUNESEN, K. Automated Logical Verification based on Trace Abstractions. BRICS Report Series, [S. l.], v. 2, n. 53, 1995. DOI: 10.7146/brics.v2i53.19954. Disponível em: https://tidsskrift.dk/brics/article/view/19954. Acesso em: 29 nov. 2021.