TIRPMiner: An efficient algorithm for mining time interval-related pattern. - Chunkai Zhang; Huaijin Hao; Ryan Han-Yuan Zhang (Knowl. Based Syst., 2025)