Thomas Studer

• Advances in Proof Theory
• Relationale Datenbanken