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