Erich Grädel: Capturing Complexity Classes by Fragments of Second Order Logic. SCT 1991: 341-352