Aceto, L., S. Capobianco, and A. Ingólfsdóttir. “On the Existence of a Finite Base for Complete Trace Equivalence over BPA With Interrupt”. BRICS Report Series, vol. 14, no. 5, Feb. 2007, doi:10.7146/brics.v14i5.21928.