N. Chen, P. Lu, and H. Zhang, “Computing the Nucleolus of Matching, Cover and Clique Games”, AAAI, vol. 26, no. 1, pp. 1319–1325, Sep. 2021.