Karl Branting An Agenda for Empirical Research in AI and Law. 28-35 2003 Evaluation of Legal Reasoning and Problem-Solving Systems db/conf/icail/icailw2003.html#Branting03a