Termination of higher-order rewrite systems door J.C. van de Pol