@misc{indiciaea30e025cc641,
  title = {Deciding Regularity of the Set of Instances of a Set of Terms with Regular Constraints is EXPTIME-Complete},
  author = {Omer Giménez and Guillem Godoy and Sebastian Maneth},
  year = {2009},
  url = {https://arxiv.org/abs/0911.3674},
  note = {Source identifier: 0911.3674}
}