Existential Second-Order Logic over Strings.

Thomas Eiter Georg Gottlob Yuri Gurevich Existential Second-Order Logic over Strings. 16-27 1998 LICS db/conf/lics/lics98.html#EiterGG98