Fabrizio Maria Maggi, Marco Montali, Claudio Di Ciccio, Jan Mendling. Semantical Vacuity Detection in Declarative Process Mining. In Marcello La Rosa, Peter Loos, Oscar Pastor, editors, Business Process Management - 14th International Conference, BPM 2016, Rio de Janeiro, Brazil, September 18-22, 2016. Proceedings. Volume 9850 of Lecture Notes in Computer Science, pages 158-175, Springer, 2016. [doi]
Abstract is missing.