Existential Second-Order Logic over Strings

Thomas Eiter, Georg Gottlob, Yuri Gurevich. Existential Second-Order Logic over Strings. In LICS. pages 16-27, 1998.

Abstract

Abstract is missing.