@InProceedings{Bouton2,
  author =       "Thomas Bouton and Diego Caminha B. de Oliveira and
                 David D\'{e}harbe and Pascal Fontaine",
  title =        "Grid{TPT}: a distributed platform for Theorem Prover
                 Testing",
  booktitle =    "Workshop on Practical Aspects of Automated Reasoning",
  editor =       "Boris Konev and Renate Schmidt and Stephan Schulz",
  year =         "2010",
  month =        jul,
}