Ofer Arieli Arnon Avron The Logical Role of the Four-Valued Bilattice. 118-126 1998 LICS db/conf/lics/lics98.html#ArieliA98