Axioms for tense logic. I: 'Since' and 'until'
scientific article; zbMATH DE number 3706421