Aceto, L., Capobianco, S. and 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). doi: 10.7146/brics.v14i5.21928.