On the decidability of some problems about rational subsets of free partially commutative monoids (1986)

by A Gibbons, W Rytter
Venue:Theor. Comput. Sci