Schmitt, P. H. Computational Aspects of Three-valued Logic LILOG-Report 26 August 1987

(1987)

Languages mentioned