@InProceedings{SSCG:IJCAR-2006,
  author =       {Geoff Sutcliffe and Stephan Schulz and Koen Claessen
                  and Allen Van Gelder}, 
  title =        {{Using the TPTP Language for Writing Derivations and
                  Finite Interpretations }}, 
  booktitle =    {Proc.\ of the 3rd IJCAR, Seattle},
  pages =        {67--81},
  year =         {2006},
  editor =       {Ulrich Fuhrbach and Natarajan Shankar},
  volume =       {4130},
  series =       {LNAI},
  address =      {4130},
  publisher =    {Springer},
  annote =       {StS}
}