Languages of Nested Trees.

Rajeev Alur, Swarat Chaudhuri, P. Madhusudan

Browse the full CAV paper archive.