Mitchell, W. H. Intensional Horn clause logic as a programming language - it's use and implementation. Master's thesis, Department of Computer Science and Engineering, Arizona State University, 1988.

Languages mentioned

• InTense {1989}
• microChronolog {1988}