The stable model semantics for logic programming. In: (1988)

by M Gelfond, V Lifschitz
Venue:Proc. ICLP,