McCarty, L.T. Programming directly in a non-monotonic logic. Technical Report LRP-TR-21, Computer Science Department, Rutgers University, September 1988.

Languages mentioned

• LLD {1989} KR Language for law