TY - JOUR AU - Borchert, Bernd AU - Kuske, Dietrich AU - Stephan, Frank TI - On existentially first-order definable languages and their relation to NP JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1999 SP - 259 EP - 269 VL - 33 IS - 3 PB - EDP-Sciences UR - http://www.numdam.org/item/ITA_1999__33_3_259_0/ LA - en ID - ITA_1999__33_3_259_0 ER -