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
TempLog
{1987}