Logics For Context-Free Languages.

Clemens Lautemann, Thomas Schwentick, Denis Thrien

Browse the full CSL paper archive.