Saraiva, L., & 		Haeusler, E.
(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>, (pp. 131-142). Porto Alegre: SBC.
doi:10.5753/sbccq.2026.21925