Authors: Baaz, M Leitsch, A

Citation: M. Baaz et A. Leitsch, Cut-elimination and redundancy-elimination by resolution, J SYMB COMP, 29(2), 2000, pp. 149-176

Authors: Leitsch, A

Citation: A. Leitsch, Decision procedures and model building or how to improve logical information in automated deduction, LECT N A I, 1761, 2000, pp. 62-79

Authors: Baaz, M Leitsch, A

Citation: M. Baaz et A. Leitsch, Cut normal forms and proof complexity, ANN PUR APP, 97(1-3), 1999, pp. 127-177