APA (7th ed.) Citation

Pol, J. C. v. d. (1996). Termination of higher-order rewrite systems. Dep. of Philosophy, Utrecht Univ.

Chicago Style (17th ed.) Citation

Pol, Jan Cornelis van der. Termination of Higher-order Rewrite Systems. Utrecht: Dep. of Philosophy, Utrecht Univ, 1996.

MLA (9th ed.) Citation

Pol, Jan Cornelis van der. Termination of Higher-order Rewrite Systems. Dep. of Philosophy, Utrecht Univ, 1996.

Warning: These citations may not always be 100% accurate.