Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version)

Open in new window