A Minimality Maintenance System.

Olivier Raiman, Johan de Kleer

Browse the full KR paper archive.