Computing LOGCFL certificates

Bibliographic Details
Main Authors: Gottlob, G, Leone, N, Scarcello, F
Format: Journal article
Published: 2002