%0 Journal Article %A Wansing, Heinrich %D 2017 %I Elsevier Bv %J Journal of Applied Logic %P 23-46 %T Reprint of: A more general general proof theory %V 25