APA (7th ed.) Citation

International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, Rabe, F., & Miculan, M. (2017). Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice : held in Oxford on 2017-09-08 at the Conference on Formal Structures for Computation and Deduction. ACM.

Chicago Style (17th ed.) Citation

International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, Florian Rabe, and Marino Miculan. Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice : Held in Oxford on 2017-09-08 at the Conference on Formal Structures for Computation and Deduction. New York: ACM, 2017.

MLA (9th ed.) Citation

International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, et al. Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice : Held in Oxford on 2017-09-08 at the Conference on Formal Structures for Computation and Deduction. ACM, 2017.