@inproceedings{CSL-2009-DuparcFM,
author = "Jacques Duparc and Alessandro Facchini and Filip Murlak",
booktitle = "{Proceedings of the 18th EACSL Annual Conference / 23rd International Workshop on Computer Science Logic}",
doi = "10.1007/978-3-642-04027-6_18",
isbn = "978-3-642-04026-9",
pages = "225--239",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata}",
volume = 5771,
year = 2009,
}
Tags: