Giménez, Godoy, Maneth, 2009. Deciding Regularity of the Set of Instances of a Set of Terms with Regular Constraints is EXPTIME-Complete.