On how AI & Law can help autonomous systems obey the law: a position paper
A theory of legal reasoning and a logic to match