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:35 - 21 self