Syndicate — Efficient Ranking Function-Based Termination Analysis via Bidirectional Decompositional Search — is accepted at ESOP 2026. [paper]