Logical Models Of Legal Argumentation by Henry Prakken