Thomas Eiter Georg Gottlob Thomas Schwentick Second-Order Logic over Strings: Regular and Non-regular Fragments. 37-56 2001 conf/dlt/2001 Developments in Language Theory http://link.springer.de/link/service/series/0558/bibs/2295/22950037.htm db/conf/dlt/dlt2001.html#EiterGS01