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

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