Declarative Process Mining with MINERful, Reloaded. - Cecilia Iacometta; Claudio Di Ciccio (BPM (Demos / Resources Forum), 2025)