APA (7th ed.) Citation

ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding, Pollack, R. C., & Momigliano, A. C. (2005). MERLIN '05: Proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding : September 30, 2005, Tallinn, Estonia. Association for Computing Machinery.

Chicago Style (17th ed.) Citation

ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding, R Contributor Pollack, and Alberto Contributor Momigliano. MERLIN '05: Proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning About Languages with Variable Binding : September 30, 2005, Tallinn, Estonia. [Place of publication not identified]: Association for Computing Machinery, 2005.

MLA (9th ed.) Citation

ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding, et al. MERLIN '05: Proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning About Languages with Variable Binding : September 30, 2005, Tallinn, Estonia. Association for Computing Machinery, 2005.