Bruni, A., Ritter, E., & Schürmann, C. (2024). Skolemisation for Intuitionistic Linear Logic.
Cita Chicago Style (17a ed.)Bruni, Alessandro, Eike Ritter, y Carsten Schürmann. Skolemisation for Intuitionistic Linear Logic. 2024.
Cita MLA (9a ed.)Bruni, Alessandro, et al. Skolemisation for Intuitionistic Linear Logic. 2024.
Precaución: Estas citas no son 100% exactas.