Lorenzo Saraiva and Edward Haeusler. 2026.
 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>, julho 19, 2026, Gramado/RS, Brasil. SBC, Porto Alegre, Brasil, 131-142. DOI: <a href="https://doi.org/10.5753/sbccq.2026.21925">https://doi.org/10.5753/sbccq.2026.21925</a>.