Pym, D; Ritter, E; Robinson, E; (2014) A proof-theoretic analysis of the classical propositional matrix method. Journal of Logic and Computation , 24 (1) 283 - 301. 10.1093/logcom/exs045.