@incollection{Urban_2005,
    doi = {10.1007/11532231_4},
    url = {https://doi.org/10.1007%2F11532231_4},
    year = {2005},
    publisher = {Springer Berlin Heidelberg},
    pages = {38--53},
    author = {Christian Urban and Christine Tasson},
    title = {Nominal Techniques in Isabelle/{HOL}},
    booktitle = {Automated Deduction {\textendash} {CADE}-20}
}

@incollection{Urban_2005, doi = {10.1007/11532231_4}, url = {https://doi.org/10.1007%2F11532231_4}, year = {2005}, publisher = {Springer Berlin Heidelberg}, pages = {38--53}, author = {Christian Urban and Christine Tasson}, title = {Nominal Techniques in Isabelle/{HOL}}, booktitle = {Automated Deduction {\textendash} {CADE}-20} }