The equality problem for vector addition systems is undecidable
scientific article; zbMATH DE number 3557218