Alison Chorley, Trevor J. M. Bench-Capon. AGATHA: Using heuristic search to automate the construction of case law theories. Artif. Intell. Law, 13(1):9-51, 2005. [doi]
@article{ChorleyB05,
title = {AGATHA: Using heuristic search to automate the construction of case law theories},
author = {Alison Chorley and Trevor J. M. Bench-Capon},
year = {2005},
doi = {10.1007/s10506-006-9004-2},
url = {http://dx.doi.org/10.1007/s10506-006-9004-2},
tags = {search},
researchr = {https://researchr.org/publication/ChorleyB05},
cites = {0},
citedby = {0},
journal = {Artif. Intell. Law},
volume = {13},
number = {1},
pages = {9-51},
}