@article{FINKEL_2012,
    doi = {10.1142/s0129054112400606},
    url = {https://doi.org/10.1142%2Fs0129054112400606},
    year = {2012},
    month = {nov},
    publisher = {World Scientific Pub Co Pte Lt},
    volume = {23},
    number = {07},
    pages = {1481--1497},
    author = {OLIVIER FINKEL},
    title = {{THREE} {APPLICATIONS} {TO} {RATIONAL} {RELATIONS} {OF} {THE} {HIGH} {UNDECIDABILITY} {OF} {THE} {INFINITE} {POST} {CORRESPONDENCE} {PROBLEM} {IN} A {REGULAR} {$\omega$}-{LANGUAGE}},
    journal = {International Journal of Foundations of Computer Science}
}

@article{FINKEL_2012, doi = {10.1142/s0129054112400606}, url = {https://doi.org/10.1142%2Fs0129054112400606}, year = {2012}, month = {nov}, publisher = {World Scientific Pub Co Pte Lt}, volume = {23}, number = {07}, pages = {1481--1497}, author = {OLIVIER FINKEL}, title = {{THREE} {APPLICATIONS} {TO} {RATIONAL} {RELATIONS} {OF} {THE} {HIGH} {UNDECIDABILITY} {OF} {THE} {INFINITE} {POST} {CORRESPONDENCE} {PROBLEM} {IN} A {REGULAR} {$\omega$}-{LANGUAGE}}, journal = {International Journal of Foundations of Computer Science} }