@article{Paulson_1989,
    doi = {10.1007/bf00248324},
    url = {https://doi.org/10.1007%2Fbf00248324},
    year = {1989},
    month = {sep},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {5},
    number = {3},
    pages = {363--397},
    author = {Lawrence C. Paulson},
    title = {The foundation of a generic theorem prover},
    journal = {Journal of Automated Reasoning}
}

@article{Paulson_1989, doi = {10.1007/bf00248324}, url = {https://doi.org/10.1007%2Fbf00248324}, year = {1989}, month = {sep}, publisher = {Springer Science and Business Media {LLC}}, volume = {5}, number = {3}, pages = {363--397}, author = {Lawrence C. Paulson}, title = {The foundation of a generic theorem prover}, journal = {Journal of Automated Reasoning} }