The Stable Model Semantics for Logic Programming (1988)

by M GELFOND, V LIFSCHITZ
Venue:K., Eds., 5th Conference on Logic Programming