Orgun, M. A. and W. W. Wadge. A theoretical basis for intensional logic programming. In Proc. of the 1988 International Symposium on Lucid and Intensional Programming, pp. 33-49, Sidney, B.C., Canada, Apr. 7-8 1988

Languages mentioned

• Chronolog 3d {1988}