Thirteen definitions of a stable model, in (0)

by V Lifschitz
Venue:Fields of Logic and Computation