APA (7th ed.) Citation

Rothgang, C., & Rabe, F. (2025). Subtyping in DHOL -- Extended preprint.

Chicago Style (17th ed.) Citation

Rothgang, Colin, and Florian Rabe. Subtyping in DHOL -- Extended Preprint. 2025.

MLA (9th ed.) Citation

Rothgang, Colin, and Florian Rabe. Subtyping in DHOL -- Extended Preprint. 2025.

Warning: These citations may not always be 100% accurate.