Tomas Hrycej A Temporal Extension of Prolog. 113-145 1993 15 J. Log. Program. 1&2 db/journals/jlp/jlp15.html#Hrycej93