ALBERT, ELVIRA, GENAIM, SAMIR, GUTIÉRREZ, RAÚL und MARTIN-MARTIN, ENRIQUE, 2020. A Transformational Approach to Resource Analysis with Typed-norms Inference. Theory & Practice of Logic Programming. 1 Mai 2020. Vol. 20, no. 3, p. 310-357. DOI 10.1017/S1471068419000401.
Elsevier - Harvard (with titles)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, 310-357. https://doi.org/10.1017/S1471068419000401
American Psychological Association 7th editionALBERT, 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-357. https://doi.org/10.1017/S1471068419000401
Springer - Basic (author-date)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:310-357. https://doi.org/10.1017/S1471068419000401
Juristische Zitierweise (Stüber) (Deutsch)ALBERT, ELVIRA/ GENAIM, SAMIR/ GUTIÉRREZ, RAÚL/ MARTIN-MARTIN, ENRIQUE, A Transformational Approach to Resource Analysis with Typed-norms Inference., Theory & Practice of Logic Programming 2020, 310-357.