On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt (2007)

by RS-07-5 Luca Aceto, Silvio Capobianco, Anna Ingólfsdóttir
Venue:Kristian Støvring and Søren