L. Aceto, S. Capobianco, and A. Ingólfsdóttir, “On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt”, BRICS, vol. 14, no. 5, Feb. 2007.