with Dégremont, C. , Szymanik, J. , 2014, 'Exploring the tractability border in epistemic tasks', Synthese 191 (3), 371-408.