@misc{indiciaefc2c468466e8,
  title = {Optimised determinisation and completion of finite tree automata},
  author = {John P. Gallagher and Mai Ajspur and Bishoksan Kafle},
  year = {2017},
  url = {https://arxiv.org/abs/1511.03595},
  note = {Source identifier: 1511.03595}
}