TY  - RPRT
TI  - Monadic Datalog Containment on Trees
AU  - André Frochaux
AU  - Martin Grohe
AU  - Nicole Schweikardt
PY  - 2014
UR  - https://arxiv.org/abs/1404.0606
ID  - 1404.0606
ER  -