Harry Surden Michael R. Genesereth Bret Logu Representational complexity in law. 193-194 2007 conf/icail/2007 ICAIL http://doi.acm.org/10.1145/1276318.1276355 db/conf/icail/icail2007.html#SurdenGL07