A short convex-hull proof for the all-different system with the inclusion property
scientific article; zbMATH DE number 6945333