Verification, induction, termination analysis festschrift for christoph walther on the occasion of his 60th birthday - Siegler, Simon; Wasser, Nathan (Lecture Notes in Computer Science,, 2010)