Line reduction in reversible circuits using KFDDs. - Jayati J. Law; Jacqueline E. Rice (PACRIM, 2015)