Thirteen definitions of a stable model (2010)

by Vladimir Lifschitz
Venue:Semantical considerations on nonmonotonic logic. Artif. Intell