Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion. Logical Characterizations of $P_\mathcal{K}$ and $NP_\mathcal{K}$ Over an Arbitrary Structure $K$.
3rd APPSEM II Workshop - APPSEM'05, Sep 2005, Frauenchiemsee/Germany.
⟨inria-00000519⟩