"Proceedings of the TIME-94 International Workshop on Temporal Reasoning, ..."

Scott D. Goodwin, Howard J. Hamilton (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics