Fields of Logic and Computation II - Beklemishev; Blass, Andreas; Dershowitz, Nachum; Finkbeiner, Bernd; Schulte, Wolfram (Springer International Publishing, 2015)