1. Note on a translation to characterize constructivity;Baaz;J. Proc. Steklov Inst. Math.,2003
2. On Skolemization and proof complexity;Baaz;J. Fund. Inform.,1994
3. Generalizing theorems in real closed fields;Baaz;Ann. Pure Appl. Logic,1995
4. The number of proof lines and the size of proofs in first order logic;Krajicek;Arch. Math. Logic,1988
5. The Resolution Calculus;Leitsch,1997