Khalil el Hindi Brian Lings Using Truth Maintenance Systems to Solve the Data Consistency Problem. 192-201 1994 CoopIS db/conf/coopis/coopis94.html#HindiL94