History-based construction of alignments for conformance checking:Formalization and implementation
['M Mahdi Alizadeh', 'Massimiliano de Leoni', 'Nicola Zannone']
History-based construction of alignments for conformance checking:Formalization and implementation