DMCA

A characterization of strong equivalence for logic programs with variables (2007)

Cached

Download Links

by Vladimir Lifschitz , David Pearce
Venue:In: Proc. of the 9th Intl. Conf. on Logic Programming and Nonmonotonic Reasoning
Citations:33 - 24 self