T. Miller, P. Felli, C. Muise, A. Pearce, and L. Sonenberg, “’Knowing Whether’ in Proper Epistemic Knowledge Bases”, AAAI, vol. 30, no. 1, Feb. 2016.