Zheng, A.; Ma, J.; Tang, J.; Luo, B. Matching State-Based Sequences With Rich Temporal Aspects. AAAI 2021, 26, 2463-2464.