Papers originally published here

Gabbay, Dov M.: Modal and Temporal Logic Programming. Code: [Gabbay87A].

Galton, Antony: The Logic of Occurrence. Code: [Galton87B].

Hale, Roger: Temporal Logic Programming. Code: [Hale87A].

Sadri, Fariba: Three Recent Approaches to Temporal Reasoning. Code: [Sadri87A].