@inproceedings{Gauthier_KKN_14,
    address          = {Vienna},
    author           = {Gauthier, Thibault and Kaliszyk, Cezary and Keller, Chantal and Norrish, Michael},
    booktitle        = {Practical Aspects of Automated Reasoning},
    editor           = {{Stephan Schulz and Leonardo De Moura and Boris Konev}},
    month            = jul,
    pages            = {50--59},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8108.pdf},
    publisher        = {EasyChair Proceedings in Computing},
    title            = {Beagle as a {HOL4} external {ATP} method},
    year             = {2014}
  }