TY  - RPRT
TI  - Programming errors in traversal programs over structured data
AU  - Ralf Laemmel
AU  - Simon Thompson
AU  - Markus Kaiser
PY  - 2012
UR  - https://arxiv.org/abs/1201.6057
ID  - 1201.6057
ER  -