@Inproceedings{EPTCS96.16, author = {Parys, Pawe{\l}}, year = {2012}, title = {Higher-Order Pushdown Systems with Data}, editor = {Faella, Marco and Murano, Aniello}, booktitle = {{\rm Proceedings Third International Symposium on} Games, Automata, Logics and Formal Verification , {\rm Napoli, Italy, September 6-8, 2012}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {96}, publisher = {Open Publishing Association}, pages = {210-223}, doi = {10.4204/EPTCS.96.16}, }