Computer Algebra based Verification and Knowledge Extraction in RBS. Application to Medical Fitness Criteria | Publicación