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

by Ilkka Niemelä , Patrik Simons
Venue:Proceedings of the Joint International Conference and Symposium on Logic Programming
Citations:139 - 16 self