Improving Certifiers for Termination Proofs project number P 22767 Einzelprojekte project lead decision board 2010/06/28 project details