The Stable Model Semantics For Logic Programming (1988)

by Michael Gelfond, Vladimir Lifschitz