CITATION STYLE
Miller, D. (1999). Sequent Calculus and the Specification of Computation. In Computational Logic (pp. 399–444). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-58622-4_11
Mendeley helps you to discover research relevant for your work.