Title: Towards an Executable Methodology for the Formalization of Legal Texts
Author, co-author: Libal, Tomer; Steen, Alexander
Author, co-author: Libal, Tomer; Steen, Alexander