Bart Verheij Book Review: The Dynamics of Judicial Proof. Computation, Logic, and Common Sense. 299-303 2003 11 Artif. Intell. Law 4 http://dx.doi.org/10.1023/B:ARTI.0000046021.87243.06 db/journals/ail/ail11.html#Verheij03a