Katie Atkinson, Joe Collenette, Trevor J. M. Bench-Capon, Kanstantsin Dzehtsiarou. Practical tools from formal models: the ECHR as a case study. In Juliano Maranhão, Adam Zachary Wyner, editors, ICAIL '21: Eighteenth International Conference for Artificial Intelligence and Law, São Paulo Brazil, June 21 - 25, 2021. pages 170-174, ACM, 2021. [doi]
Abstract is missing.