@article{Paulson_2003,
    doi = {10.1112/s1461157000000449},
    url = {https://doi.org/10.1112%2Fs1461157000000449},
    year = {2003},
    publisher = {Wiley},
    volume = {6},
    pages = {198--248},
    author = {Lawrence C. Paulson},
    title = {The Relative Consistency of the Axiom of Choice Mechanized Using Isabelle⁄zf},
    journal = {{LMS} Journal of Computation and Mathematics}
}

@article{Paulson_2003, doi = {10.1112/s1461157000000449}, url = {https://doi.org/10.1112%2Fs1461157000000449}, year = {2003}, publisher = {Wiley}, volume = {6}, pages = {198--248}, author = {Lawrence C. Paulson}, title = {The Relative Consistency of the Axiom of Choice Mechanized Using Isabelle⁄zf}, journal = {{LMS} Journal of Computation and Mathematics} }