"Reasoning with Numeric and Symbolic Time Information."

Malek Mouhoub (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics