TY  - RPRT
TI  - Optimised determinisation and completion of finite tree automata
AU  - John P. Gallagher
AU  - Mai Ajspur
AU  - Bishoksan Kafle
PY  - 2017
UR  - https://arxiv.org/abs/1511.03595
ID  - 1511.03595
ER  -