Testing Provers on a Grid - Framework Description. - Carlos Areces; Daniel Gorín; Alejandra Lorenzo; Mariano Pérez Rodríguez (Description Logics, 2009)