Computational Aspects of Three-Valued Logic.

Peter H. Schmitt

Browse the full CADE paper archive.