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