Christopher Duff Gabriele Saucier State Assignment Based on the Reduced Dependency Theory and Recent Experimental Results. 222-225 1991 ICCAD db/conf/iccad/iccad1991.html#DuffS91