APA (7th ed.) Citation

Mints, G. E., & Sarenac, D. (2003). Completeness of indexed ∈-calculus. Archive for Mathematical Logic, 42(7), 617. https://doi.org/10.1007/s00153-003-0170-6

Chicago Style (17th ed.) Citation

Mints, G. E., and Darko Sarenac. "Completeness of Indexed ∈-calculus." Archive for Mathematical Logic 42, no. 7 (2003): 617. https://doi.org/10.1007/s00153-003-0170-6.

MLA (9th ed.) Citation

Mints, G. E., and Darko Sarenac. "Completeness of Indexed ∈-calculus." Archive for Mathematical Logic, vol. 42, no. 7, 2003, p. 617, https://doi.org/10.1007/s00153-003-0170-6.