CITATION STYLE
Baaz, M., & Leitsch, A. (1997). Fast cut-eiimination by projection. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1258, pp. 18–33). Springer Verlag. https://doi.org/10.1007/3-540-63172-0_30
Mendeley helps you to discover research relevant for your work.