APA (7th ed.) Citation

GREVE, D. A., KAUFMANN, M., MANOLIOS, P., MOORE, J. S., RAY, S., RUIZ-REINA, J. L., . . . WILDING, M. (2008). Efficient execution in an automated reasoning environment. Journal of Functional Programming, 18(1), 15. https://doi.org/10.1017/S0956796807006338

Chicago Style (17th ed.) Citation

GREVE, DAVID A., MATT KAUFMANN, PANAGIOTIS MANOLIOS, J STROTHER MOORE, SANDIP RAY, JOS? LUIS RUIZ-REINA, ROB SUMNERS, DARON VROON, and MATTHEW WILDING. "Efficient Execution in an Automated Reasoning Environment." Journal of Functional Programming 18, no. 1 (2008): 15. https://doi.org/10.1017/S0956796807006338.

MLA (9th ed.) Citation

GREVE, DAVID A., et al. "Efficient Execution in an Automated Reasoning Environment." Journal of Functional Programming, vol. 18, no. 1, 2008, p. 15, https://doi.org/10.1017/S0956796807006338.