T. Eiter, G. Gottlob: "Reasoning Under Minimal Upper Bounds in Propositional Logic"; Theoretical Computer Science, 369 (2006), 82 - 115.