APA (7th ed.) Citation

Schuster, P., Müller, M., Ostermann, K., & Brachthäuser, J. I. (2025). Artifact of the paper 'Compiling Classical Sequent Calculus to Stock Hardware: The Duality of Compilation'. Zenodo.

Chicago Style (17th ed.) Citation

Schuster, Philipp, Marius Müller, Klaus Ostermann, and Jonathan Immanuel Brachthäuser. Artifact of the Paper 'Compiling Classical Sequent Calculus to Stock Hardware: The Duality of Compilation'. Zenodo, 2025.

MLA (9th ed.) Citation

Schuster, Philipp, et al. Artifact of the Paper 'Compiling Classical Sequent Calculus to Stock Hardware: The Duality of Compilation'. Zenodo, 2025.