David Melski Thomas W. Reps Interconveritibility of Set Constraints and Context-Free Language Reachability. 74-89 1997 PEPM db/conf/pepm/pepm97.html#MelskiR97 http://doi.acm.org/10.1145/258993.259006