@article{L_uchli_1987,
    doi = {10.2307/2273878},
    url = {https://doi.org/10.2307%2F2273878},
    year = {1987},
    month = {mar},
    publisher = {Cambridge University Press ({CUP})},
    volume = {52},
    number = {1},
    pages = {219--226},
    author = {Hans Läuchli and Christian Savioz},
    title = {Monadic second order definable relations on the binary tree},
    journal = {The Journal of Symbolic Logic}
}

@article{L_uchli_1987, doi = {10.2307/2273878}, url = {https://doi.org/10.2307%2F2273878}, year = {1987}, month = {mar}, publisher = {Cambridge University Press ({CUP})}, volume = {52}, number = {1}, pages = {219--226}, author = {Hans Läuchli and Christian Savioz}, title = {Monadic second order definable relations on the binary tree}, journal = {The Journal of Symbolic Logic} }