Saraiva, L., & 		Haeusler, E.
2026 jul 19.  Quantum Verification of Compressed Proofs through DLDS-to-Circuit Compilation. Anais do Simpósio Brasileiro de Computação e Comunicação Quânticas (SBCCQ). [Online] :