Automatic theorem proving and fuzzy situational search for decisions
quantitative approach to linguistic problems
planning in systems of organizational control
scientific article; zbMATH DE number 1978441