Skuce, Douglas, "Formal Semantics of KNOWLOG," Technical Report TR-83-15, Department of Computer Science, University of Ottawa, Canada (1983)

Languages mentioned

• LESK {1975}