Bounded linear-time temporal logic: a proof-theoretic investigation
scientific article; zbMATH DE number 6014273
scientific article