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

by I Niemelä, P Simons
Venue:In Proc. Joint Int’l Conf. and Symp. on Logic Programming