Stepan Holub Dirk Nowotka The Ehrenfeucht-Silberger Problem. 537-548 2009 ICALP (1) http://dx.doi.org/10.1007/978-3-642-02927-1_45 conf/icalp/2009-1 db/conf/icalp/icalp2009-1.html#HolubN09