AI Approaches to the Complexity of Legal Systems - Casanovas; Casanovas, Pompeu; Pagallo, Ugo; Palmirani, Monica; Sartor, Giovanni (Springer Berlin Heidelberg, 2014)