Model checking memoryful linear-time logics over one-counter automata
scientific article; zbMATH DE number 5712827
scientific article