S. Epstein and P. Naumov, “Epistemic Logic of Know-Who”, AAAI, vol. 35, no. 13, pp. 11479-11486, May 2021.