Skip to main content

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