APA (7th ed.) Citation

Metta, R., Karmarkar, H., & Madhukar, K. (2026). DIRNT Artifact: Corresponding to our SPIN 2026 paper "Recurrence-seeking Tests for Non-termination". Zenodo.

Chicago Style (17th ed.) Citation

Metta, Ravindra, Hrishikesh Karmarkar, and Kumar Madhukar. DIRNT Artifact: Corresponding to Our SPIN 2026 Paper "Recurrence-seeking Tests for Non-termination". Zenodo, 2026.

MLA (9th ed.) Citation

Metta, Ravindra, et al. DIRNT Artifact: Corresponding to Our SPIN 2026 Paper "Recurrence-seeking Tests for Non-termination". Zenodo, 2026.