Orna Kupferman Yoad Lustig Moshe Y. Vardi On Locally Checkable Properties. 302-316 2006 conf/lpar/2006 LPAR http://dx.doi.org/10.1007/11916277_21 db/conf/lpar/lpar2006.html#KupfermanLV06