Faster Lifting for Ordered Domains with Predecessor Relations. - Kuncheng Zou; Jiahao Mai; Yonggang Zhang; Yuyi Wang 001; Ondrej Kuzelka; Yuanhong Wang; Yi Chang (CoRR, 2025)