New consecution calculi for \(R^{t}_{\to}\)
scientific article; zbMATH DE number 6111347
scientific article