Informatics and the Foundations of Legal Reasoning | EKB DL