F. Fabiano, A. Burigana, A. Dovier, and E. Pontelli, “EFP 2.0: A Multi-Agent Epistemic Solver with Multiple E-State Representations”, ICAPS, vol. 30, no. 1, pp. 101-109, Jun. 2020.