APA (7th ed.) Citation

Antoy, S. (2005). Evaluation strategies for functional logic programming. Journal of symbolic computation, 40(1), 875-903. https://doi.org/10.1016/j.jsc.2004.12.007

Chicago Style (17th ed.) Citation

Antoy, Sergio. "Evaluation Strategies for Functional Logic Programming." Journal of Symbolic Computation 40, no. 1 (2005): 875-903. https://doi.org/10.1016/j.jsc.2004.12.007.

MLA (9th ed.) Citation

Antoy, Sergio. "Evaluation Strategies for Functional Logic Programming." Journal of Symbolic Computation, vol. 40, no. 1, 2005, pp. 875-903, https://doi.org/10.1016/j.jsc.2004.12.007.