...although there's been some interesting work from Dan Katz at UMich summarizing progress in this area http://computationallegalstudies.com/