Cita APA (7a ed.)

Miranda, B. S., & Studer, T. (2025). Cut elimination for a non-wellfounded system for the master modality.

Cita Chicago Style (17a ed.)

Miranda, Borja Sierra, y Thomas Studer. Cut Elimination for a Non-wellfounded System for the Master Modality. 2025.

Cita MLA (9a ed.)

Miranda, Borja Sierra, y Thomas Studer. Cut Elimination for a Non-wellfounded System for the Master Modality. 2025.