@incollection{Paulin_Mohring,
    doi = {10.1007/bfb0037116},
    url = {https://doi.org/10.1007%2Fbfb0037116},
    publisher = {Springer-Verlag},
    pages = {328--345},
    author = {Christine Paulin-Mohring},
    title = {Inductive definitions in the system Coq rules and properties},
    booktitle = {Lecture Notes in Computer Science}
}

@incollection{Paulin_Mohring, doi = {10.1007/bfb0037116}, url = {https://doi.org/10.1007%2Fbfb0037116}, publisher = {Springer-Verlag}, pages = {328--345}, author = {Christine Paulin-Mohring}, title = {Inductive definitions in the system Coq rules and properties}, booktitle = {Lecture Notes in Computer Science} }