Uniform equivalence of logic programs under the stable model semantics (0)

by T Eiter, M Fink
Venue:In Proceedings of the 19th International Conference on Logic Programming (ICLP 2003), C. Palamidessi, Ed. LNCS