Nan Li, Elena Dubrova: AIG rewriting using 5-input cuts. ICCD 2011: 429-430