L. Fang, K. Wang, Z. Wang, and X. Wen, “Disjunctive Normal Form for Multi-Agent Modal Logics Based on Logical Separability”, AAAI, vol. 33, no. 01, pp. 2817-2826, Jul. 2019.