Liberman, Andrés Occhipinti, Achen, Andreas and Rendsvig, Rasmus K. (2020) Dynamic term-modal logics for first-order epistemic planning. Artificial Intelligence, 286. ISSN 1561-5359