@misc{indiciae2bed2ea50097,
  title = {Faster Lifting for Ordered Domains with Predecessor Relations},
  author = {Kuncheng Zou and Jiahao Mai and Yonggang Zhang and Yuyi Wang and Ondřej Kuželka and Yuanhong Wang and Yi Chang},
  year = {2025},
  url = {https://arxiv.org/abs/2507.19182},
  note = {Source identifier: 2507.19182}
}