DMCA

Strongly Equivalent Logic Programs (2000)

Cached

Download Links

by Vladimir Lifschitz , David Pearce , Agustín Valverde
Venue:ACM Transactions on Computational Logic
Citations:231 - 36 self