On how AI & Law can help autonomous systems obey the law: a position paper
a logical analysis of burdens of proof .