Certificación de Propiedades Usando Distintos Probadores de Teoremas: Un Caso de Estudio.