John P. McDermott R1: A Rule-Based Configurer of Computer Systems. 39-88 1982 19 Artif. Intell. 1 db/journals/ai/ai19.html#McDermott82