@inproceedings{alizadeh:hal-01442340,
  TITLE = {{History-Based Construction of Alignments for Conformance Checking: Formalization and Implementation}},
  AUTHOR = {Alizadeh, Mahdi and Leoni, Massimiliano De and Zannone, Nicola},
  URL = {https://inria.hal.science/hal-01442340},
  BOOKTITLE = {{4th International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA)}},
  ADDRESS = {Milan, Italy},
  EDITOR = {Paolo Ceravolo and Barbara Russo and Rafael Accorsi},
  SERIES = {Data-Driven Process Discovery and Analysis},
  VOLUME = {LNBIP-237},
  PAGES = {58-78},
  YEAR = {2014},
  MONTH = Nov,
  DOI = {10.1007/978-3-319-27243-6\_3},
  KEYWORDS = {Conformance checking ; Alignments ; Cost functions},
  PDF = {https://inria.hal.science/hal-01442340/file/393788_1_En_3_Chapter.pdf},
  HAL_ID = {hal-01442340},
  HAL_VERSION = {v1},
}