Uniform Equivalence of Logic Programs under the Stable Model Semantics.

Thomas Eiter, Michael Fink

Browse the full ICLP paper archive.