APA (7th ed.) Citation

Litow, B. (2018). A transfer method from bounded existential Diophantine equations to Tarski algebra formulas. Theoretical computer science, 708, 91-95. https://doi.org/10.1016/j.tcs.2017.10.013

Chicago Style (17th ed.) Citation

Litow, B. "A Transfer Method from Bounded Existential Diophantine Equations to Tarski Algebra Formulas." Theoretical Computer Science 708 (2018): 91-95. https://doi.org/10.1016/j.tcs.2017.10.013.

MLA (9th ed.) Citation

Litow, B. "A Transfer Method from Bounded Existential Diophantine Equations to Tarski Algebra Formulas." Theoretical Computer Science, vol. 708, 2018, pp. 91-95, https://doi.org/10.1016/j.tcs.2017.10.013.