Anfonwch hwn fel neges destun: Computing LOGCFL Certificates