APA (7th ed.) Citation

ALBERT, E., GENAIM, S., GUTIÉRREZ, R., & MARTIN-MARTIN, E. (2020). A Transformational Approach to Resource Analysis with Typed-norms Inference. Theory & Practice of Logic Programming, 20(3), 310. https://doi.org/10.1017/S1471068419000401

Chicago Style (17th ed.) Citation

ALBERT, ELVIRA, SAMIR GENAIM, RAÚL GUTIÉRREZ, and ENRIQUE MARTIN-MARTIN. "A Transformational Approach to Resource Analysis with Typed-norms Inference." Theory & Practice of Logic Programming 20, no. 3 (2020): 310. https://doi.org/10.1017/S1471068419000401.

MLA (9th ed.) Citation

ALBERT, ELVIRA, et al. "A Transformational Approach to Resource Analysis with Typed-norms Inference." Theory & Practice of Logic Programming, vol. 20, no. 3, 2020, p. 310, https://doi.org/10.1017/S1471068419000401.