A logic and computer algebra-based expert system for diagnosis of anorexia
scientific article; zbMATH DE number 1743078