Lawrence Birnbaum Rigor Mortis: A Response to Nilsson's ``Logic and Artificial Intelligence''. 57-77 1991 47 Artif. Intell. 1-3 db/journals/ai/ai47.html#Birnbaum91