APA (7th ed.) Citation

Ferreira, F. M., & Martins, A. T. (2011). Recursive definitions and fixed-points on well-founded structures. Theoretical computer science, 412(37), 4893-4904. https://doi.org/10.1016/j.tcs.2011.01.028

Chicago Style (17th ed.) Citation

Ferreira, Francicleber Martins, and Ana Teresa Martins. "Recursive Definitions and Fixed-points on Well-founded Structures." Theoretical Computer Science 412, no. 37 (2011): 4893-4904. https://doi.org/10.1016/j.tcs.2011.01.028.

MLA (9th ed.) Citation

Ferreira, Francicleber Martins, and Ana Teresa Martins. "Recursive Definitions and Fixed-points on Well-founded Structures." Theoretical Computer Science, vol. 412, no. 37, 2011, pp. 4893-4904, https://doi.org/10.1016/j.tcs.2011.01.028.