Aceto, L.; Capobianco, S.; Ingólfsdóttir, A. On the Existence of a Finite Base for Complete Trace Equivalence over BPA With Interrupt. BRICS 2007, 14.