Existential second−order logic over strings
Thomas Eiter‚ Yuri Gurevich and Georg Gottlob
Journal
J. ACM
Number
1
Pages
77−131
Volume
47
Year
2000
Thomas Eiter‚ Yuri Gurevich and Georg Gottlob