@misc{indiciae24e6c26f033e, title = {QILP-0: Constructing Observational Declarative Twins of Quantum Circuits}, author = {Marina de la Cruz Echeandía and César Luis Alonso and Tony Ribeiro and Alfonso Ortega de la Puente}, year = {2026}, url = {https://arxiv.org/abs/2609.01049}, note = {Source identifier: 2609.01049} }