@InProceedings{SSCB:LPAR-2012,
  author =       {Geoff Sutcliffe and Stephan Schulz and Koen Claessen and Peter
  Baumgartner},
  title =        {{The TPTP Typed First-order Form with Arithmetic}},
  booktitle =    {Proc.\ of the 18th LPAR, Merida},
  pages =        {406-419},
  year =         {2012},
  editor =       {Nikolaj Bj\orner and Andrei Voronkov},
  volume =       {7180},
  series =       {LNAI},
  publisher =    {Springer},
  annote =       {StS}
}