TY  - RPRT
TI  - On the Complexity of the Bi-infinite Post Correspondence Problem
AU  - Olivier Finkel
AU  - Vesa Halava
PY  - 2026
UR  - https://arxiv.org/abs/2606.10930
ID  - 2606.10930
ER  -