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.
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.