An approach to formalization and analysis of group choice problems
scientific article; zbMATH DE number 830617