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

Cached

Download Links

by Thomas Eiter , Michael Fink
Citations:49 - 13 self