Tomer Libal, Alexander Steen. Towards an Executable Methodology for the Formalization of Legal Texts. In Mehdi Dastani, Huimin Dong, Leon van der Torre, editors, Logic and Argumentation - Third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020, Proceedings. Volume 12061 of Lecture Notes in Computer Science, pages 151-165, Springer, 2020. [doi]