L. Saraiva and E. Haeusler.
" Quantum Verification of Compressed Proofs through DLDS-to-Circuit Compilation", in <em>Anais do I Simpósio Brasileiro de Computação e Comunicação Quânticas</em>, Gramado/RS, 2026, pp. 131-142, doi: <a href="https://doi.org/10.5753/sbccq.2026.21925">https://doi.org/10.5753/sbccq.2026.21925</a>.