Nachum Dershowitz Artificial intelligence: Retrospective/prospective. 3-5 2000 28 Ann. Math. Artif. Intell. 1-4 db/journals/amai/amai28.html#Dershowitz00