Cleary, J.G. and V. N. Kaushik. Updates in a temporal logic programming language. Technical report, Department of Computer Science, University of Calgary, Calgary, Alberta, Canada, 1991.

Languages mentioned

• Starlog {1991} Stratified Temporal Prolog