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

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