@article{Stojanovi_ur_evi__2018,
    doi = {10.1007/s10472-018-9597-7},
    url = {https://doi.org/10.1007%2Fs10472-018-9597-7},
    year = {2018},
    month = {aug},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {85},
    number = {2-4},
    pages = {89--117},
    author = {Sana Stojanovi{\'{c}}-{\DH}ur{\dj}evi{\'{c}}},
    title = {From informal to formal proofs in Euclidean geometry},
    journal = {Annals of Mathematics and Artificial Intelligence}
}

@article{Stojanovi_ur_evi__2018, doi = {10.1007/s10472-018-9597-7}, url = {https://doi.org/10.1007%2Fs10472-018-9597-7}, year = {2018}, month = {aug}, publisher = {Springer Science and Business Media {LLC}}, volume = {85}, number = {2-4}, pages = {89--117}, author = {Sana Stojanovi{\'{c}}-{\DH}ur{\dj}evi{\'{c}}}, title = {From informal to formal proofs in Euclidean geometry}, journal = {Annals of Mathematics and Artificial Intelligence} }