@article{ESCARD__2014,
    doi = {10.1017/s096012951300042x},
    url = {https://doi.org/10.1017%2Fs096012951300042x},
    year = {2014},
    month = {dec},
    publisher = {Cambridge University Press ({CUP})},
    volume = {25},
    number = {7},
    pages = {1578--1589},
    author = {MART{\'{I}}N ESCARD{\'{O}}},
    title = {Constructive decidability of classical continuity},
    journal = {Mathematical Structures in Computer Science}
}

@article{ESCARD__2014, doi = {10.1017/s096012951300042x}, url = {https://doi.org/10.1017%2Fs096012951300042x}, year = {2014}, month = {dec}, publisher = {Cambridge University Press ({CUP})}, volume = {25}, number = {7}, pages = {1578--1589}, author = {MART{\'{I}}N ESCARD{\'{O}}}, title = {Constructive decidability of classical continuity}, journal = {Mathematical Structures in Computer Science} }