AGATHA: Automated Construction of Case Law Theories Through Heuristic Search.

Alison Chorley, Trevor J. M. Bench-Capon

Browse the full ICAIL paper archive.