Simon Siegler,Nathan Wasser

• Verification, Induction, Termination Analysis