Inference and verification in Medical Appropriateness Criteria using Gröbner Bases | Publicación