1. [1] M. Goto, “Application of three-valued logic to construct the theory of relay networks,” Proc. Joint Meeting IEE, IEICE, and I. Illum. E. Japan, 1948.
2. [2] J.P. Hayes, “Digital simulation with multiple logic values,” IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst., vol.CAD-5, no.2, pp.274-283, 1986.
3. [3] D.W. Lewis, “Hazard detection by quinary simulation of logic devices with bounded propagation delay,” Proc. Design Automation Workshop, pp.157-164, 1972.
4. [4] S.C. Kleene, Introduction to Metamathematics, North-Holland Pub., pp.332-340, 1952.
5. [5] M. Mukaidono, “On the B-ternary logical function,” IECE Trans. Inf. & Syst., vol.55-D, no.6, pp.355-362, June 1972.