@article{Leslie_Hurd_2013,
    doi = {10.3233/icg-2013-36204},
    url = {https://doi.org/10.3233%2Ficg-2013-36204},
    year = {2013},
    month = {jun},
    publisher = {{IOS} Press},
    volume = {36},
    number = {2},
    pages = {100--103},
    author = {Joe Leslie-Hurd and G.McC. Haworth},
    title = {Computer Theorem Proving and {HoTT}},
    journal = {{ICGA} Journal}
}

@article{Leslie_Hurd_2013, doi = {10.3233/icg-2013-36204}, url = {https://doi.org/10.3233%2Ficg-2013-36204}, year = {2013}, month = {jun}, publisher = {{IOS} Press}, volume = {36}, number = {2}, pages = {100--103}, author = {Joe Leslie-Hurd and G.McC. Haworth}, title = {Computer Theorem Proving and {HoTT}}, journal = {{ICGA} Journal} }