Characterization of Some Semantics for Logic Programs with Negation and Applications to Program Validation.

Bernard Malfon Characterization of Some Semantics for Logic Programs with Negation and Applications to Program Validation. 91-105 1994 SLP db/conf/slp/slp94.html#Malfon94