@inproceedings{Bourke_DKK_12,
    address          = {Bremen, Germany},
    author           = {Bourke, Timothy and Daum, Matthias and Klein, Gerwin and Kolanski, Rafal},
    booktitle        = {Conferences on Intelligent Computer Mathematics (CICM) / Mathematical Knowledge Management},
    editor           = {{Makarius Wenzel}},
    keywords         = {large-scale proofs, isabelle/hol, interactive theorem proving},
    month            = jul,
    pages            = {32--48},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/5717.pdf},
    publisher        = {Springer},
    title            = {Challenges and Experiences in Managing Large-Scale Proofs},
    year             = {2012}
  }