Simplifying logic programs under uniform and strong equivalence (2004)

Cached

Download Links

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