On the Expressiveness of Frame Satisfiability and Fragments of Second−Order Logic (J. Symb. Log., 1998)

(untitled) - Eiter, T; Gottlob, G