Yet Another Characterization of Strong Equivalence.

Alexander Bochman, Vladimir Lifschitz

Browse the full ICLP paper archive.