M. Truszczynski, S. Woltran: "Hyperequivalence of Logic Programs with Respect to Supported Models"; Report No. DBAI-TR-2008-58, 2008; 32 pages.