Brian Cantwell Smith The Owl and the Electric Encyclopedia. 251-288 1991 47 Artif. Intell. 1-3 db/journals/ai/ai47.html#Smith91