Márcia Farias, Ana Teresa C. Martins, Francicleber Martins Ferreira. The Descriptive Complexity of Decision Problems through Logics with Relational Fixed-Point and Capturing Results. Electronic Notes in Theoretical Computer Science, 332:113-130, 2017. [doi]
Abstract is missing.