On the Expressiveness of Frame Satisfiability and Fragments of Second−Order Logic - Eiter, T; Gottlob, G (J. Symb. Log., 1998)