Global Synthesis of CNOT Circuits with Holes. - Ewan Murphy; Aleks Kissinger (QPL, 2023)