Orgun, M. A. and W. W. Wadge "Chronolog admits a complete proof procedure" pp120-135

Proc. (1993) Proc. of ISLIP'93: The 6th International Symposium on Lucid and Intensional Programming (Quebec City, Canada. April 26-27). Universite Laval, 1993  

Languages mentioned Chronolog {1985} Temporal version of Prolog