@Article{J22,
  key = {J22},
  author = 	 {Geoff Sutcliffe and Christoph Benzm{\"u}ller},
  title = 	 {Automated Reasoning in Higher-Order Logic
using the {TPTP THF} Infrastructure.},
  journal =	 {Journal of Formalized Reasoning},
  volume = 3,
  number = 1,
  pages = {1-27},
  year = 2010
}