@incollection{Zucker_1994,
    doi = {10.1016/s0049-237x(08)70202-7},
    url = {https://doi.org/10.1016%2Fs0049-237x%2808%2970202-7},
    year = {1994},
    publisher = {Elsevier},
    pages = {127--139},
    author = {J. Zucker},
    title = {Formalization of Classical Mathematics in Automath},
    booktitle = {Selected Papers on Automath}
}

@incollection{Zucker_1994, doi = {10.1016/s0049-237x(08)70202-7}, url = {https://doi.org/10.1016%2Fs0049-237x%2808%2970202-7}, year = {1994}, publisher = {Elsevier}, pages = {127--139}, author = {J. Zucker}, title = {Formalization of Classical Mathematics in Automath}, booktitle = {Selected Papers on Automath} }