1.
Aceto L, Capobianco S, Ingólfsdóttir A. On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt. BRICS [Internet]. 2007 Feb. 12 [cited 2024 Apr. 25];14(5). Available from: https://tidsskrift.dk/brics/article/view/21928