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