@InProceedings{Areces2009c,
  author =       "C. Areces and D. Gor{\'i}n and A. Lorenzo and M.
                 P{\'e}rez Rodr{\'i}guez",
  booktitle =    "Proceedings of the 22nd International Workshop on
                 Description Logics (DL 2009)",
  title =        "Testing Provers on a Grid - Framework Description",
  year =         "2009",
  abstract =     "GridTest is a framework for testing automated theorem
                 prov- ers using randomly generated formulas. It can be
                 used to run tests locally, in a single computer, or in
                 a computer grid. It automatically generates a report as
                 a PostScript file which, among others, includes graphs
                 for time comparison. We have found GridTest extremely
                 useful for testing and comparing the performance of
                 different automated theorem provers (for hybrid, modal,
                 first order and description logics). We present
                 GridTest in this framework description in the hope that
                 it might be useful for the general community working in
                 automated deduction.",
  editor =       "B. Cuenca Grau and I. Horrocks and B. Motik and U.
                 Sattler",
  publisher =    "CEUR-WS.org",
  series =       "CEUR Workshop Proceedings",
  volume =       "477",
}