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

by I Niemelä, P Simons
Venue:in: Proceedings of the Joint International Conference and Symposium on Logic Programming