On existentially first-order definable languages and their relation to NP

Bernd Borchert, Dietrich Kuske, Frank Stephan. On existentially first-order definable languages and their relation to NP. ITA, 33(3):259-270, 1999.

Abstract

Abstract is missing.