Pompeu Casanovas Marta Poblet 323-339 2008 Computable Models of the Law, Languages, Dialogues, Games, Ontologies http://dx.doi.org/10.1007/978-3-540-85569-9_21 series/lncs/4884 db/series/lncs/lncs4884.html#CasanovasP08