Stable Model Semantics of Weight Constraint Rules (1999)
Niemelä Ilkka , Simons Patrik , Soininen Timo