Existential second-order logic over strings - Eiter, Thomas; Gottlob, Georg 1956-; Gurevich, Yuri (IFIG, 1997)
Literaturverz. S. 45 - 47