TY  - RPRT
TI  - Model Checking Parse Trees
AU  - Anudhyan Boral
AU  - Sylvain Schmitz
PY  - 2013
DO  - 10.1109/lics.2013.21
UR  - https://arxiv.org/abs/1211.5256
ID  - 1211.5256
ER  -