Xiang Zhou Ehrenfeucht-Fraïssé games in finite set theory. 3-9 2008 108 Inf. Process. Lett. 1 http://dx.doi.org/10.1016/j.ipl.2008.03.011 db/journals/ipl/ipl108.html#Zhou08