Stefano Ferilli, Sergio Angelastro: Efficient Declarative-Based Process Mining Using an Enhanced Framework. Complex Pattern Mining 2020: 121-136