Uniform Schemata for Proof Rules - Ulrich Berger (Springer, 2014)