Combining Ehrenfeucht-Fraïssé Games | IEEE Conference Publication | IEEE Xplore