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:143 - 15 self