A Tool for Declarative Trace Alignment via Automated Planning

Giuseppe De Giacomo‚ Francesco Fuggitti‚ Fabrizio Maria Maggi‚ Andrea Marrella Favorito and Fabio Patrizi