ContracT - from Legal Contracts to Formal Specifications: Preliminary Results. - Michele Soavi; Nicola Zeni; John Mylopoulos; Luisa Mich (PoEM, 2020)

From Legal Contracts to Formal Specifications: A Progress Report. - Michele Soavi; Nicola Zeni; John Mylopoulos; Luisa Mich (REFSQ Workshops, 2021)

Contratto - A Method for Transforming Legal Contracts into Formal Specifications. - Michele Soavi; Nicola Zeni; John Mylopoulos; Luisa Mich (RCIS, 2022)

From Legal Contracts to Formal Specifications: A Systematic Literature Review. - Michele Soavi; Nicola Zeni; John Mylopoulos; Luisa Mich (SN Comput. Sci., 2022)

Semantic Annotation of Legal Contracts with ContrattoA. - Michele Soavi; Nicola Zeni; John Mylopoulos; Luisa Mich (Informatics, 2022)