Title: On the semantics of temporal logic programming (preliminary report)
Subjects: Logic programming, Programming languages (Electronic computers), Semantics