ByNobleID
    Rule-based optimization of reversible circuits | NobleID