Bernd Borchert Dietrich Kuske Frank Stephan On existentially first-order definable languages and their relation to NP. 259-270 1999 33 ITA 3 db/journals/ita/ita33.html#BorchertKS99