Efficient implementation of the well-founded and stable model semantics (1996)

by I Niemela, P Simons
Venue:In Proceedings of JICSLP-96