Reasoning with maximal consistent signatures. - Matthias Thimm; Jandson Santos Ribeiro Santos (CoRR, 2024)