Efficient Mining of Frequent Closed Sequences with Time Constraints