"Second-Order Logic over Strings: Regular and Non-regular Fragments."

Thomas Eiter, Georg Gottlob, Thomas Schwentick (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics