Cite
MLA Citation
ELVIRA ALBERT et al.. “A Transformational Approach to Resource Analysis with Typed-norms Inference.” Theory and practice of logic programming, vol. 20, no. 3, 2020, pp. 310–357. http://access.bl.uk/ark:/81055/vdc_100127346563.0x00000d