Strong Forgetting in Hennessy-Milner Logic. - Xin Zhou; Yisong Wang; Renyan Feng; Songhang Xu (TASE, 2024)