APA (7th ed.) Citation

Klop, J. W. (2012, June). Term rewriting and lambda calculus. 2012 27th Annual IEEE Symposium on Logic in Computer Science, 12. https://doi.org/10.1109/LICS.2012.12

Chicago Style (17th ed.) Citation

Klop, Jan Willem. "Term Rewriting and Lambda Calculus." 2012 27th Annual IEEE Symposium on Logic in Computer Science Jun. 2012: 12. https://doi.org/10.1109/LICS.2012.12.

MLA (9th ed.) Citation

Klop, Jan Willem. "Term Rewriting and Lambda Calculus." 2012 27th Annual IEEE Symposium on Logic in Computer Science, Jun. 2012, p. 12, https://doi.org/10.1109/LICS.2012.12.