Multi-valued simulation of digital circuits with structurally synthesized binary decision diagrams
Ubar, Raimund-Johannes
Multiple valued logic. Vol. 4
1998
/
p. 141-157