TY  - RPRT
TI  - Quantifier alternation in a class of recursively defined tree properties
AU  - Moumanti Podder
PY  - 2019
UR  - https://arxiv.org/abs/1902.05533
ID  - 1902.05533
ER  -