A Characterization of Strong Equivalence for Logic Programs with Variables.

Vladimir Lifschitz, David Pearce, Agustn Valverde

Browse the full LPNMR paper archive.