Minimum Model Semantics for Logic Programs with Negation-asFailure (2005)

by P Rondogiannis, W Wadge
Venue:ACM Transactions on Computational Logic