@article{BOVE_2014,
    doi = {10.1017/s0960129514000115},
    url = {https://doi.org/10.1017%2Fs0960129514000115},
    year = {2014},
    month = {nov},
    publisher = {Cambridge University Press ({CUP})},
    volume = {26},
    number = {1},
    pages = {38--88},
    author = {ANA BOVE and ALEXANDER KRAUSS and MATTHIEU SOZEAU},
    title = {Partiality and recursion in interactive theorem provers {\textendash} an overview},
    journal = {Mathematical Structures in Computer Science}
}

@article{BOVE_2014, doi = {10.1017/s0960129514000115}, url = {https://doi.org/10.1017%2Fs0960129514000115}, year = {2014}, month = {nov}, publisher = {Cambridge University Press ({CUP})}, volume = {26}, number = {1}, pages = {38--88}, author = {ANA BOVE and ALEXANDER KRAUSS and MATTHIEU SOZEAU}, title = {Partiality and recursion in interactive theorem provers {\textendash} an overview}, journal = {Mathematical Structures in Computer Science} }