The Dynamics of Judicial Proof Computation, Logic, and Common Sense - MacCrimmon, Marilyn; MacCrimmon, Marilyn; Tillers, Peter; Tillers, Peter (Physica-Verlag HD : Imprint: Physica, 2002)