Automated Design of Multiple-Valued Logic Circuits by Automatic Theorem Proving Techniques. - Witold S. Wojciechowski; Anthony S. Wojcik (IEEE Trans. Computers, 1983)