On the inclusion problem for finitely ambiguous rational trace languages
RAIRO-Theor. Inf. Appl., 32 1-3 (1998) 79-98
Published online: 01 February 2017
DOI: 10.1051/ita/1998321-300791