On Existentially First-Order Definable Languages and Their Relation to NP.

Bernd Borchert, Dietrich Kuske, Frank Stephan

Browse the full ICALP paper archive.