TY  - RPRT
TI  - Quantifying over Trees in Monadic Second-Order Logic
AU  - Massimo Benerecetti
AU  - Laura Bozzelli
AU  - Fabio Mogavero
AU  - Adriano Peron
PY  - 2023
UR  - https://arxiv.org/abs/2304.11613
ID  - 2304.11613
ER  -