Παραπομπή σε μορφή APA (7η εκδ.)

Cavallo, E., Sattler, C., & Sattler, E. C. a. C. (2026). Eliminating Reversals from Cubical Type Theories. https://doi.org/10.4230/LIPIcs.LICS.2026.27

Παραπομπή σε μορφή Chicago (17η εκδ.)

Cavallo, Evan, Christian Sattler, και Evan Cavallo and Christian Sattler. Eliminating Reversals from Cubical Type Theories. 2026. https://doi.org/10.4230/LIPIcs.LICS.2026.27.

Παραπομπή σε μορφή MLA (9th εκδ.)

Cavallo, Evan, et al. Eliminating Reversals from Cubical Type Theories. 2026. https://doi.org/10.4230/LIPIcs.LICS.2026.27.