APA (7th ed.) Citation

Mints, G. (2003). A termination proof for epsilon substitution using partial derivations. Theoretical Computer Science, 303(1), 187. https://doi.org/10.1016/S0304-3975(02)00451-6

Chicago Style (17th ed.) Citation

Mints, G. "A Termination Proof for Epsilon Substitution Using Partial Derivations." Theoretical Computer Science 303, no. 1 (2003): 187. https://doi.org/10.1016/S0304-3975(02)00451-6.

MLA (9th ed.) Citation

Mints, G. "A Termination Proof for Epsilon Substitution Using Partial Derivations." Theoretical Computer Science, vol. 303, no. 1, 2003, p. 187, https://doi.org/10.1016/S0304-3975(02)00451-6.