Brzoska, C. "Temporal logic programming and its relation to constraint logic programming" pp661-677

(1991)

Logic Programming: Proceedings of the 1991 Interna (1991) Logic Programming: Proceedings of the 1991 International Logic Programming Symposium. MIT Press, 1991  

Languages mentioned