TY  - RPRT
TI  - First-Order Model Checking on Generalisations of Pushdown Graphs
AU  - Alexander Kartzow
PY  - 2012
UR  - https://arxiv.org/abs/1202.0137
ID  - 1202.0137
ER  -