@Misc{R50,
  key = 	 {R50},
  author = 	 {Benzm{\"u}ller, Christoph and Sutcliffe, Geoff},
  title = 	 {{The THFTPTP Project --- An Infrastructure for Typed Higher-order Form
Automated Theorem Proving Marie Curie International Incoming Fellowship Grant
Agreement PIIF-GA-2008-219982 Project Report --- Scientific}},
  howpublished = {Saarland University},
  year = 	 2009}