Termination of higher-order rewrite systems - Pol, Jan Cornelis van der (Dep. of Philosophy, Utrecht Univ., 1996)
Zugl.: Utrecht, Univ., Diss., 1996