Efficient Implementation of the Well-founded and Stable Model Semantics (1996)

by I Niemela, P Simons
Venue:In Proc. Joint International Conference and Symposium on Logic Programming