APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding, Association for Computing Machinery. Special Interest Group on Programming Languages, Alberto Momigliano, and R. Pollack. MERLIN'05, September 30, 2005, Tallinn, Estonia: Proceedings of the Third ACM SIGPLAN Workshop on MEchanized Reasoning About Languages with Varlable BiNding. New York: ACM, 2005.

MLA (9th ed.) Citation

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