Linear temporal logic with until and next, logical consecutions
scientific article; zbMATH DE number 5348354
scientific article