The logical approach to temporal reasoning
scientific article; zbMATH DE number 1764736