Nonen, Daniel A (1993) Temporal deductive databases : query finiteness and a query language. Masters thesis, Concordia University.