Luis M. Laita, Eugenio Roanes-Lozano, Victor Maojo. Inference and Verification in Medical Appropriateness Criteria Using Gröbner Bases. In Jacques Calmet, Jan A. Plaza, editors, Artificial Intelligence and Symbolic Computation, International Conference AISC 98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings. Volume 1476 of Lecture Notes in Computer Science, pages 183-194, Springer, 1998. [doi]
Abstract is missing.