A Review on Quantum Circuit Optimization using ZX-Calculus. - Tobias Fischbach; Pierre Talbot; Pascal Bourvry (CoRR, 2025)