Negation as failure, completion and stratification (1998)

by J C Shepherdson
Venue:Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 5. Oxford Science Publications