@INPROCEEDINGS{Zetzsche2015a,
	AUTHOR		= {Zetzsche, Georg},
	TITLE		= {Computing downward closures for stacked counter automata},
	PAGES		= {743--756},
	SERIES		= {Leibniz International Proceedings in Informatics (LIPIcs)},
	EDITOR		= {Ernst W. Mayr and Nicolas Ollinger},
	ADDRESS		= {Dagstuhl, Germany},
	PUBLISHER	= {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
	VOLUME		= {30},
	BOOKTITLE	= {Proc. of the 32nd International Symposium on Theoretical Aspects of Computer Science (STACS 2015)},
	YEAR		= {2015},
	DOI		= {10.4230/LIPIcs.STACS.2015.743}
}