@inproceedings{soavi:hal-03434644,
  TITLE = {{ContracT -- from Legal Contracts to Formal Specifications: Preliminary Results}},
  AUTHOR = {Soavi, Michele and Zeni, Nicola and Mylopoulos, John and Mich, Luisa},
  URL = {https://inria.hal.science/hal-03434644},
  NOTE = {Part 3:Formal Aspects of Enterprise Modelling},
  BOOKTITLE = {{13th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling (PoEM 2020)}},
  ADDRESS = {Riga, Latvia},
  EDITOR = {J{\=a}nis Grabis and Dominik Bork},
  PUBLISHER = {{Springer International Publishing}},
  SERIES = {The Practice of Enterprise Modeling},
  VOLUME = {LNBIP-400},
  PAGES = {124-137},
  YEAR = {2020},
  MONTH = Nov,
  DOI = {10.1007/978-3-030-63479-7\_9},
  KEYWORDS = {Legal contract ; Structure model ; Ontology for contracts ; Semantic annotation},
  PDF = {https://inria.hal.science/hal-03434644/file/500489_1_En_9_Chapter.pdf},
  HAL_ID = {hal-03434644},
  HAL_VERSION = {v1},
}