Micun, M., & Berkholz, C. (2026). Proof Systems Based on Structured Circuits.
Chicago Style (17th ed.) CitationMicun, Matthäus, and Christoph Berkholz. Proof Systems Based on Structured Circuits. 2026.
MLA (9th ed.) CitationMicun, Matthäus, and Christoph Berkholz. Proof Systems Based on Structured Circuits. 2026.
Warning: These citations may not always be 100% accurate.