TY  - RPRT
TI  - Proving that a Tree Language is not First-Order Definable
AU  - Martin Beaudry
PY  - 2018
UR  - https://arxiv.org/abs/1812.01674
ID  - 1812.01674
ER  -