Anoutlook on truth maintenance" MIT AI LabMemo No . 551 (1980)

by D McAllester
Venue:Machine Intelligence 4