Simplifying logic programs under uniform and strong equivalence (2004)

by Thomas Eiter , Michael Fink , Hans Tompits , Stefan Woltran
Venue:In LPNMR’04
Citations:39 - 22 self