A Characterization of Stable Models using a Non-Monotonic Operator.

Frank Teusink A Characterization of Stable Models using a Non-Monotonic Operator. 206-222 1993 LPNMR db/conf/lpnmr/lpnmr93.html#Teusink93