Data structures and algorithms for simplifying reversible circuits | ACM Journal on Emerging Technologies in Computing Systems (JETC) | DeepDyve