Alison Chorley Trevor J. M. Bench-Capon AGATHA: Using heuristic search to automate the construction of case law theories. 9-51 2005 13 Artif. Intell. Law 1 http://dx.doi.org/10.1007/s10506-006-9004-2 db/journals/ail/ail13.html#ChorleyB05