@Misc{ProofTranslation14,
  author =    {Fleury, Mathias},
  title =     {Translation of Proofs Provided by External Provers},
  month =     {July},
  year =      {2014},
  url = {http://perso.eleves.ens-rennes.fr/~mfleur01/projects.html}
}