Efficient Implementation of the Well-founded and Stable Model Semantics (1996)
Niemelä Ilkka , Simons P.