Proof that Akers'' Algorithm for Locally Exhaustive Testing Gives Minimum Test Sets of Combinational Circuits with up to Four Outputs.
Hiroyuki Michinishi, Tokumi Yokohira and Takuji Okamoto
Proceedings of the Second Asian Test Symposium
pp.14-19
14
19
http://ci.nii.ac.jp/naid/10003042610