Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari. Inducing Declarative Logic-Based Models from Labeled Traces. In Gustavo Alonso, Peter Dadam, Michael Rosemann, editors, Business Process Management, 5th International Conference, BPM 2007, Brisbane, Australia, September 24-28, 2007, Proceedings. Volume 4714 of Lecture Notes in Computer Science, pages 344-359, Springer, 2007. [doi]
Abstract is missing.