SMS: Computing LOGCFL Certificates