Y.Kuno, Y.Kuno "A Truth Maintenance System Described in Object-Oriented Concurrent Programming Language" JJSAI Vol.4, No.1, 1989

Languages mentioned

• ABCL/1 {1987} Object-Based Concurrent Language