Ahmad A. Al-Yamani Nahmsuk Oh Edward J. McCluskey 461- 2001 conf/dft/2001 DFT http://computer.org/proceedings/dft/1203/12030461abs.htm db/conf/dft/dft2001.html#Al-YamaniOM01