Belardinelli, F., Lomuscio, A. and Yu, E. (2020) “Model Checking Temporal Epistemic Logic under Bounded Recall”, Proceedings of the AAAI Conference on Artificial Intelligence, 34(05), pp. 7071-7078. doi: 10.1609/aaai.v34i05.6193.