Computable Models of the Law : Languages, Dialogues, Games, Ontologies - Pompeu Casanovas, Giovanni Sartor, Núria Casellas, Rossella Rubino ((Lecture Notes in Computer Science))