1. Analysis and Control of Boolean Networks: A Semi-tensor Product Approach;Cheng,2011
2. An Introduction to Semi-tensor Product of Matrices and Its Applications;Cheng,2012
3. Completeness and normal form of multi-valued logical functions;Cheng;Journal of the Franklin Institute,2020
4. Generating sequences for k-valued logic;Haddad;Inf. Sci.,1992
5. Logic for Mathematicians;Hamilton,1988