Chen, N.; Lu, P.; Zhang, H. Computing the Nucleolus of Matching, Cover and Clique Games. AAAI 2021, 26, 1319-1325.