Benedek, Márton, Fliege, Jörg and Tri-Dung, Nguyen (2020) Finding and verifying the nucleolus of cooperative games. Mathematical Programming . DOI http://doi.org/10.1007/s10107-020-01527-9