@inproceedings{CL15-csl, author = {L. Clemente and S. Lasota}, title = {Reachability analysis of first-order definable pushdown systems}, booktitle = {Proc. {CSL}'15}, year = {2015}, pages = {244--259}, }