Aceto, L., Capobianco, S., & Ingólfsdóttir, A. (2007). On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt. BRICS Report Series, 14(5). https://doi.org/10.7146/brics.v14i5.21928