Simplifying logic programs under uniform and strong equivalence - EITER, Thomas; FINK, Michael; TOMPITS, Hans; WOLTRAN, Stefan (LPNMR 2004 : logic programming and nonmonotonic reasoning (Fort Lauderdale FL, 6-8 January 2004), 2004)
text