"Temporal Reasoning in Deductive Databases"

Suryanarayana M. Sripada (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics