TY  - RPRT
TI  - Order-theoretic trees: monadic second-order descriptions and regularity
AU  - Bruno Courcelle
PY  - 2022
UR  - https://arxiv.org/abs/2111.04083
ID  - 2111.04083
ER  -