Relativized hyperequivalence of logic programs for modular programming

Re-assign community