John P. McDermott Nils J. Nilsson, Principles of Artificial lntelligence. 127-131 1980 15 Artif. Intell. 1-2 db/journals/ai/ai15.html#McDermott80