Fabiano, F.; Burigana, A.; Dovier, A.; Pontelli, E. EFP 2.0: A Multi-Agent Epistemic Solver With Multiple E-State Representations. ICAPS 2020, 30, 101-109.