Omer Giménez, Guillem Godoy, Sebastian Maneth. Deciding Regularity of the Set of Instances of a Set of Terms with Regular Constraints is EXPTIME-Complete. SIAM Journal on Computing, 40(2):446-464, 2011. [doi]
No references recorded for this publication.
No citations of this publication recorded.