Existential Second−Order Logic over Strings - Eiter, T; Gottlob, G; Gurevich, Y (1998)