ACETO, L.; CAPOBIANCO, S.; INGÓLFSDÓTTIR, A. On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt. BRICS Report Series, [S. l.], v. 14, n. 5, 2007. DOI: 10.7146/brics.v14i5.21928. Disponível em: https://tidsskrift.dk/brics/article/view/21928. Acesso em: 15 jul. 2024.