publications:
- title: "SRASS - A Semantic Relevance Axiom Selection System"
  author:
  - name: "Geoff Sutcliffe"
    link: "http://www.cs.miami.edu/~geoff/"
  - name: "Yury Puzis"
    link: "none"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-73595-3_20"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-73595-3_20"
  researchr: "https://researchr.org/publication/SutcliffeP07"
  cites: 0
  citedby: 0
  pages: "295-310"
  booktitle: "Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings"
  editor:
  - name: "Frank Pfenning"
    link: "http://www.cs.cmu.edu/~fp/"
  volume: "4603"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-73594-6"
  kind: "inproceedings"
  key: "SutcliffeP07"