The context-freeness of the languages associated with vector addition systems is decidable
scientific article; zbMATH DE number 65315
scientific article