Miller, T., Felli, P., Muise, C., Pearce, A. and Sonenberg, L. (2016) “’Knowing Whether’ in Proper Epistemic Knowledge Bases”, Proceedings of the AAAI Conference on Artificial Intelligence, 30(1). doi: 10.1609/aaai.v30i1.10110.