The stable model semantics for logic programming (1988)

by Michael Gelfond, Vladimir Lifschitz
Venue:Proceedings of International Logic Programming Conference and Symposium