Constraint-based Sequential Pattern Mining with Decision Diagrams