CITATION STYLE
Gries, D. (1981). A Natural Deduction System. In The Science of Programming (pp. 28–65). Springer New York. https://doi.org/10.1007/978-1-4612-5983-1_4
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley