Yet Another Characterization of Strong Equivalence

Alexander Bochman & Vladimir Lifschitz
Strong equivalence of disjunctive logic programs is characterized here by a calculus that operates with syntactically simple formulas.