Model-Checking Parse Trees.

Anudhyan Boral, Sylvain Schmitz

Browse the full LICS paper archive.