Stratified and Three-valued Logic Programming Semantics.

Melvin Fitting, Marion Ben-Jacob

Browse the full ICLP paper archive.