Language Inclusion for Boundedly-Ambiguous Vector Addition Systems Is Decidable.

Wojciech Czerwinski, Piotr Hofman

Browse the full CONCUR paper archive.