@INPROCEEDINGS{arec:test09,
  author = {Areces, C. and Gor\'{\i}n, D. and Lorenzo, A. and P{\'e}rez Rodr\'{\i}guez,
	M.},
  title = {Testing Provers on a Grid - Framework Description},
  booktitle = {Proceedings of the 22nd International Workshop on Description Logics
	(DL 2009)},
  year = {2009},
  editor = {Cuenca Grau, B. and Horrocks, I. and Motik, B. and Sattler, U.},
  volume = {477},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}