Epstein, S.; Naumov, P. Epistemic Logic of Know-Who. AAAI 2021, 35, 11479-11486.