Citations:hyperequivalence


 * 2010 Michael Fink, "A General Framework for Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There" arXiv
 * Moreover, we generalize the so-called notion of relativized hyperequivalence for programs to propositional theories, and apply the same methodology in order to obtain a semantic characterization which is amenable to infinite settings.