Stratified and Three-valued Logic Programming Semantics. - Melvin Fitting; Marion Ben-Jacob (ICLP/SLP, 1988)