@MISC{CzerwinskiHofmanZetzsche2018a,
	AUTHOR		= {Czerwi{\'{n}}ski, Wojciech and Hofman, Piotr and Zetzsche, Georg},
	TITLE		= {Unboundedness problems for languages of vector addition systems},
	YEAR		= {2018},
	NOTE		= {Submitted}
}