The Stable Model Semantics for Logic Programming (1988)

by M Gelfond, V Lifschitz
Venue:In Proc. of ICLP’88