Expressive completeness of duration calculus.
scientific article; zbMATH DE number 1853089