A Data Symmetry Reduction Technique for Temporal-epistemic Logic.

Mika Cohen Mads Dam Alessio Lomuscio Hongyang Qu A Data Symmetry Reduction Technique for Temporal-epistemic Logic. 69-83 2009 ATVA http://dx.doi.org/10.1007/978-3-642-04761-9_6 conf/atva/2009 db/conf/atva/atva2009.html#CohenDLQ09