Hans van Ditmarsch, Brian Hill, Ondrej Majer (2009) Synthese 171 (2).
pp. 235-256
This document is unfortunately not available for download at the moment.