M. Truszczynski, S. Woltran: "Relativized Hyperequivalence of Logic Programs for Modular Programming"; Report No. DBAI-TR-2008-63, 2008; 37 pages.