Heinrich Herre Gerd Wagner Stable Models Are Generated by a Stabel Chain. 165-177 1997 30 J. Log. Program. 2 db/journals/jlp/jlp30.html#HerreW97 http://dx.doi.org/10.1016/S0743-1066(96)00106-9