TY  - RPRT
TI  - Formalization of simplification for context-free grammars
AU  - Marcus V. M. Ramos
AU  - Ruy J. G. B. de Queiroz
PY  - 2015
UR  - https://arxiv.org/abs/1509.02032
ID  - 1509.02032
ER  -