T. Eiter, G. Gottlob: "Reasoning Under Minimal Upper Bounds in Propositional Logic"; Report for TU Wien, Institut fuer Informationssysteme, INFSYS RR-1843-05-06; 2005; 42 pages.