Michel Hack The Equality Problem for Vector Addition Systems is Undecidable. 77-95 1976 2 Theor. Comput. Sci. 1 db/journals/tcs/tcs2.html#Hack76