A logic and computer algebra-based expert system for diagnosis of anorexia | Publicación