T. Eiter, K. Wang: "Semantic Forgetting in Answer Set Programming"; Report for TU Wien, Institut für Informationssysteme; Report No. INFSYS RR 1843-07-08, 2007; 45 pages.