APA (7th ed.) Citation

Deursen, A. v., & Dinesh, T. B. (1994). Origin tracking for higher-order term rewriting systems. Stichting Mathematisch Centrum.

Chicago Style (17th ed.) Citation

Deursen, Arie van, and T. B. Dinesh. Origin Tracking for Higher-order Term Rewriting Systems. Amsterdam: Stichting Mathematisch Centrum, 1994.

MLA (9th ed.) Citation

Deursen, Arie van, and T. B. Dinesh. Origin Tracking for Higher-order Term Rewriting Systems. Stichting Mathematisch Centrum, 1994.