Alison Chorley Trevor J. M. Bench-Capon AGATHA: Automated Construction of Case Law Theories Through Heuristic Search. 45-54 2005 conf/icail/2005 ICAIL db/conf/icail/icail2005.html#ChorleyB05