@article{Barendregt_2002,
    author = {Henk Barendregt and Erik Barendsen},
    doi = {https://dx.doi.org/10.1023/a:1015761529444},
    url = {https://doi.org/10.1023%2Fa%3A1015761529444},
    year = {2002},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {28},
    number = {3},
    pages = {321--336},
    journal = {Journal of Automated Reasoning},
    title = {Autarkic Computations in Formal Proofs},
    date-modified = {2025-10-13 7:51:45 +0100}
}

@article{Barendregt_2002, author = {Henk Barendregt and Erik Barendsen}, doi = {https://dx.doi.org/10.1023/a:1015761529444}, url = {https://doi.org/10.1023%2Fa%3A1015761529444}, year = {2002}, publisher = {Springer Science and Business Media {LLC}}, volume = {28}, number = {3}, pages = {321--336}, journal = {Journal of Automated Reasoning}, title = {Autarkic Computations in Formal Proofs}, date-modified = {2025-10-13 7:51:45 +0100} }