Exploring the tractability border in epistemic tasks

2014

Cédric Dégremont, Lena Kurzen, Jakub Szymanik

Synthese 191 (3)