Stav dette: Computing LOGCFL Certificates