Olivier Raiman Johan de Kleer A Minimality Maintenance System. 532-538 1992 KR db/conf/kr/kr92.html#RaimanK92