Wadge, W. W. "Tense logic programming: a respectable alternative" In Proc. of the 1988 International Symposium on Lucid and Intensional Programming, pp. 26-32, Sidney, B.C., Canada, Apr. 7-8 1988
(1988)
Languages mentioned
Chronolog
{1985} Temporal version of Prolog
THLP
{1985}