Computing LOGCFL Certificates.

Georg Gottlob, Nicola Leone, Francesco Scarcello

Browse the full ICALP paper archive.