TY  - RPRT
TI  - Piecewise testable tree languages
AU  - Mikołaj Bojańczyk
AU  - Luc Segoufin
AU  - Howard Straubing
PY  - 2012
DO  - 10.2168/lmcs-8(3:26)2012
UR  - https://arxiv.org/abs/1208.5129
ID  - 1208.5129
ER  -