Search: C91
2021
[1]Value-oriented Legal Argumentation in Isabelle/HOL (Christoph Benzmüller, David Fuenmayor), In International Conference on Interactive Theorem Proving (ITP), Proceedings (Liron Cohen, Cezary Kaliszyk, eds.), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, LIPIcs, volume 193, number 23, pp. 23:1-23:18, 2021. (Preprint: https://dx.doi.org/10.13140/RG.2.2.21514.80320) [bibtex] [doi]