On existentially first-order definable languages and their relation to NP - Borchert, Bernd; Kuske, Dietrich; Stephan, Frank (RAIRO. Theoretical informatics and applications, 1999)
Gesehen am 20.02.2017