On bi-infinite and conjugate post correspondence problemsOlivier Finkel, Vesa Halava, Tero Harju and Esa SahlaRAIRO-Theor. Inf. Appl., 57 (2023) 7DOI: https://doi.org/10.1051/ita/2023008