@inproceedings{Baumgartner_BW_15,
    month            = aug,
    keywords         = {automated reasoning, first-order logic},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8726.pdf},
    booktitle        = {International Conference on Automated Deduction},
    author           = {Baumgartner, Peter and Bax, Joshua and Waldmann, Uwe},
    year             = {2015},
    pages            = {367--377},
    title            = {Beagle --- A Hierarchic Superposition Theorem Prover},
    address          = {Berlin, Germany}
  }