The stable model semantics for logic programs, in: R.A.Kowalski and K.A.Bowen (Eds (1988)

by M Gelfond, V Lifschitz
Venue:Proc. of the 5th International Conf/Symp on Logic Programming