You are about to access our book library "Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday full version" .