TY  - RPRT
TI  - Monadic Datalog Containment on Trees Using the Descendant-Axis
AU  - André Frochaux
AU  - Nicole Schweikardt
PY  - 2016
UR  - https://arxiv.org/abs/1608.06130
ID  - 1608.06130
ER  -