CITATION STYLE
Abadi, M., & Cardelli, L. (1996). A First-Order Language (pp. 153–165). https://doi.org/10.1007/978-1-4419-8598-9_13
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley