Rajeev Alur P. Madhusudan Adding nesting structure to words. 2009 56 J. ACM 3 http://doi.acm.org/10.1145/1516512.1516518 db/journals/jacm/jacm56.html#AlurM09