Quantifying Over Trees in Monadic Second-Order Logic.

Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron

Browse the full LICS paper archive.