Baudinet, M. "Logic Programming Semantics: Techniques and Applications", PhD Thesis, Department of Computer Science, Stanford University, 1989

Languages mentioned

• TempLog {1987}