Computing LOGCFL Certificates

Bibliographic Details
Main Authors: Gottlob, G, Leone, N, Scarcello, F
Format: Conference item
Published: Springer 1999