Efficient edge filtering of directly-follows graphs for process mining | Publicación