Benzmüller, ChristophChristophBenzmüller0000-0002-3392-3093Fuenmayor, DavidDavidFuenmayor0000-0002-0042-45382022-08-202022-08-202021978-3-95977-188-71868-8969https://fis.uni-bamberg.de/handle/uniba/55201engValue-Oriented Legal Argumentation in Isabelle/HOLconferenceobject10.4230/LIPICS.ITP.2021.7