A logic and computer algebra-based expert system for diagnosis of anorexia. - Cristina Pérez-Carretero; Luis M. Laita; Eugenio Roanes-Lozano; Luis Lázaro; Jesús González-Cajal; Laura Laita (Math. Comput. Simul., 2002)