@inproceedings{Norrish_03,
    address          = {Rome},
    author           = {Norrish, Michael},
    booktitle        = {International Conference on Theorem Proving in Higher Order Logics},
    editor           = {{D. Basin and B. Wolff}},
    isbn             = {978-3-540-40664-8},
    month            = sep,
    pages            = {71--86},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/2138.pdf},
    publisher        = {Springer},
    slides           = {https://trustworthy.systems/publications/nicta_slides/2138.pdf},
    title            = {Complete Integer Decision Procedures as Derived Rules in {HOL}},
    year             = {2003}
  }