AI Approaches to the Complexity of Legal Systems - Casanovas (Springer Berlin Heidelberg, 2014)