Loop-check specification for a sequent calculus of temporal logic
scientific article; zbMATH DE number 7625363
scientific article