Schroeder-Heister. Resolution and the Origins of Structural Reasoning: Early Proof-theoretic Ideas of Hertz and Gentzen. no. 02, Cambridge University Press (CUP), 2002, doi:10.2178/bsl/1182353872.