[Back]
Scientific Reports:
T. Eiter, M. Fink:
"
Uniform Equivalence of Logic Programs under the Stable Model Semantics
";
2003.
Created from the
Publication Database of the Vienna University of Technology
.