Stratified and Three-valued Logic Programming Semantics.

Melvin Fitting Marion Ben-Jacob Stratified and Three-valued Logic Programming Semantics. 1054-1069 1988 ICLP/SLP db/conf/iclp/iclp88.html#FittingB88