TY - RPRT TI - On the completeness of transformation rules in reversible logic synthesis AU - Shiguang Feng AU - Zongxing Xiong AU - Lvzhou Li PY - 2026 UR - https://arxiv.org/abs/2607.19059 ID - 2607.19059 ER -