APA (7th ed.) Citation

Klop, J. W., Oostrom, V. v., & Vrijer, R. d. (2000). A geometric proof of confluence by decreasing diagrams. Centrum voor Wiskunde en Informatica.

Chicago Style (17th ed.) Citation

Klop, Jan Willem, Vincent van Oostrom, and Roel de Vrijer. A Geometric Proof of Confluence by Decreasing Diagrams. Amsterdam: Centrum voor Wiskunde en Informatica, 2000.

MLA (9th ed.) Citation

Klop, Jan Willem, et al. A Geometric Proof of Confluence by Decreasing Diagrams. Centrum voor Wiskunde en Informatica, 2000.