Tautology Checking Algorithms for Multiple-valued 1nI)ut Binary Functions and Their Application (1984)

by T Sasao
Venue:Proc. 14th Int. Symp. on Mult. Val. Logic (ISMVL