TY - RPRT TI - A Library-Based Synthesis Methodology for Reversible Logic AU - Mehdi Saeedi AU - Mehdi Sedighi AU - Morteza Saheb Zamani PY - 2010 DO - 10.1016/j.mejo.2010.02.002 UR - https://arxiv.org/abs/1004.1697 ID - 1004.1697 ER -