T.: Simplifying Logic Programs under Uniform and Strong Equivalence (2004)

by T Eiter, M Fink, H Tompits, Woltran
Venue:In: Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’03). Volume 2923 of LNAI