T. Ito, “Reforming an Envy-Free Matching”, AAAI, vol. 36, no. 5, pp. 5084–5091, Jun. 2022.