The Descriptive Complexity of Decision Problems through Logics with Relational Fixed-Point and Capturing Results. - Márcia Farias; Ana Teresa C. Martins; Francicleber Martins Ferreira (LSFA, 2016)