@ARTICLE{KudlekTotzkeZetzsche2009,
	AUTHOR		= {Kudlek, Manfred and Totzke, Patrick and Zetzsche, Georg},
	TITLE		= {Multiset Pushdown Automata},
	JOURNAL		= {Fundamenta Informaticae},
	VOLUME		= {93},
	PAGES		= {221--233},
	NUMBER		= {1-3},
	YEAR		= {2009},
	DOI		= {10.3233/FI-2009-0098}
}