T. Eiter, M. Fink, J. Puehrer, H. Tompits, S. Woltran: "Model-Based Recasting in Answer-Set Programming"; Report for TU Wien, Institut fuer Informationssysteme; Report No. DBAI-TR-2013-83, 2013; 34 pages.