Obituary
Formal Verification of a Generic Framework to Synthesize SAT-Provers
Modular and Incremental Automated Termination Proofs