Jean-Paul Delahaye V. Thibau Programming in Three-valued Logic. 189-216 1991 78 Theor. Comput. Sci. 1 db/journals/tcs/tcs78.html#DelahayeT91