The stable model semantics for logic programming (1988)

by M Gelfond, V Lifschitz
Venue:In Logic Programming: Proceedings of the Fifth International Conf. and Symp