Uniform Equivalence of Logic Programs under the Stable Model Semantics (2003)

by Thomas Eiter , Michael Fink
Citations:53 - 14 self