Stav dette: Argumentation Methods for Artificial Intelligence in Law