Stem hyperequival$ (all stems)

2 papers:

ICLP-2008-PuhrerTW #source code

Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence (JP, HT, SW), pp. 561–575.

ICLP-2008-TruszczynskiW #composition #logic programming #source code

Relativized Hyperequivalence of Logic Programs for Modular Programming (MT, SW), pp. 576–590.