Van Marcke, Kris "A Consistence Maintenance System based on Forward Propagation of Proposition Denials" VUB AI-Lab TR 86-01

Languages mentioned

• KRS {1987} Knowledge representation system