@Inproceedings{EPTCS134.1, author = {Nishida, Naoki and Sakai, Masahiko and Nakano, Yasuhiro}, year = {2013}, title = {On Constructing Constrained Tree Automata Recognizing Ground Instances of Constrained Terms}, editor = {Maneth, Sebastian}, booktitle = {{\rm Proceedings Second International Workshop on} Trends in Tree Automata and Tree Transducers, {\rm Hanoi, Vietnam, 19/10/2013}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {134}, publisher = {Open Publishing Association}, pages = {1-10}, doi = {10.4204/EPTCS.134.1}, }