A useful four-valued logic (1977)

by N D Belnap
Venue:Modern Uses of Many-valued Logic