Interconveritibility of Set Constraints and Context-Free Language Reachability.

David MelskiThomas W. Reps
Published in: PEPM (1997)