Inference and Verification in Medical Appropriateness Criteria Using Grbner Bases.

Luis M. Laita, Eugenio Roanes-Lozano, Victor Maojo

Browse the full AISC paper archive.