A Logic and computer algebra approach to a decision-making problem in medicine Luis M. Laita; Eugenio Roanes-Lozano; Víctor Maojo; A. Díaz — 1998 Revista de la Real Academia de Ciencias Exactas Físicas y Naturales