Bruno Woltzenlogel Paleo

	2009
3		Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo: A Clausal Approach to Proof Analysis in Second-Order Logic. LFCS 2009: 214-229
	2008
2		Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo: Herbrand Sequent Extraction. AISC/MKM/Calculemus 2008: 462-477
1		Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo: Transforming and Analyzing Proofs in the CERES-System. LPAR Workshops 2008

Coauthor Index

1	Stefan Hetzl	[1] [2] [3]
2	Alexander Leitsch	[1] [2] [3]
3	Daniel Weller	[1] [2] [3]