"Lenat" . "B." . "Douglas" . . "Douglas B. Lenat" . . . .