TY  - RPRT
TI  - Propositional Encoding of Constraints over Tree-Shaped Data
AU  - Alexander Bau
AU  - Johannes Waldmann
PY  - 2013
UR  - https://arxiv.org/abs/1305.4957
ID  - 1305.4957
ER  -