@article{Moerdijk_2000,
    doi = {10.1016/s0168-0072(00)00012-9},
    url = {https://doi.org/10.1016%2Fs0168-0072%2800%2900012-9},
    year = {2000},
    month = {jul},
    publisher = {Elsevier {BV}},
    volume = {104},
    number = {1-3},
    pages = {189--218},
    author = {Ieke Moerdijk and Erik Palmgren},
    title = {Wellfounded trees in categories},
    journal = {Annals of Pure and Applied Logic}
}

@article{Moerdijk_2000, doi = {10.1016/s0168-0072(00)00012-9}, url = {https://doi.org/10.1016%2Fs0168-0072%2800%2900012-9}, year = {2000}, month = {jul}, publisher = {Elsevier {BV}}, volume = {104}, number = {1-3}, pages = {189--218}, author = {Ieke Moerdijk and Erik Palmgren}, title = {Wellfounded trees in categories}, journal = {Annals of Pure and Applied Logic} }