Comment by anigbrowl

I'm not writing one of those either :-)

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