@article{Bertot_1998,
    doi = {10.1006/jsco.1997.0171},
    url = {https://doi.org/10.1006%2Fjsco.1997.0171},
    year = {1998},
    month = {feb},
    publisher = {Elsevier {BV}},
    volume = {25},
    number = {2},
    pages = {161--194},
    author = {Y. Bertot and L. Th{\'{e}}ry},
    title = {A Generic Approach to Building User Interfaces for Theorem Provers},
    journal = {Journal of Symbolic Computation}
}

@article{Bertot_1998, doi = {10.1006/jsco.1997.0171}, url = {https://doi.org/10.1006%2Fjsco.1997.0171}, year = {1998}, month = {feb}, publisher = {Elsevier {BV}}, volume = {25}, number = {2}, pages = {161--194}, author = {Y. Bertot and L. Th{\'{e}}ry}, title = {A Generic Approach to Building User Interfaces for Theorem Provers}, journal = {Journal of Symbolic Computation} }