TY  - RPRT
TI  - On Constructing Constrained Tree Automata Recognizing Ground Instances of Constrained Terms
AU  - Naoki Nishida
AU  - Masahiko Sakai
AU  - Yasuhiro Nakano
PY  - 2013
DO  - 10.4204/eptcs.134.1
UR  - https://arxiv.org/abs/1311.5567
ID  - 1311.5567
ER  -