Johan de Kleer Extending the ATMS. 163-196 1986 28 Artif. Intell. 2 db/journals/ai/ai28.html#Kleer86a