Thirteen definitions of a stable model (2010)

by V Lifschitz
Venue:In: Fields of Logic and Computation