Textmeddelande: Computing LOGCFL Certificates