Existential second-order logic over strings - Eiter, Thomas; Gottlob, Georg 1956-; Gurevich, Yuri (Institut für Informatik <Gießen>: IFIG research report, 1997)