Datalog Programs and Their Stable Models

by Vladimir Lifschitz
Citations:2 - 0 self