TY - RPRT TI - A finite alternation result for reversible boolean circuits AU - Peter Selinger PY - 2017 DO - 10.1016/j.scico.2017.08.011 UR - https://arxiv.org/abs/1604.02549 ID - 1604.02549 ER -