Description: Full list of publications by this author, with about 30 items in the area of proof theory. Many of the papers are downloadable.