Temporal Logic Programming with Metric and Past Operators.

Christoph Brzoska Temporal Logic Programming with Metric and Past Operators. 21-39 1993 conf/ijcai/1993em Executable Modal and Temporal Logics db/conf/ijcai/ijcai1993em.html#Brzoska93