Step-logic: reasoning situated in time (1988)

by J J Elgot-Drapkin