weak stratified, and three-valued semantics (1990)

by M C Fitting, M Ben-Jacob, “Stratified
Venue:Fundamenta Informaticae, Special issue on LOGIC PROGRAMMING