Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice. Association for Computing Machinery (ACM).
Чикаго стиль цитування (17-те видання)Proceedings of the Seventh International Workshop on Logical Frameworks and Meta-languages, Theory and Practice. Association for Computing Machinery (ACM).
Стиль цитування MLA (8-ме видання)Proceedings of the Seventh International Workshop on Logical Frameworks and Meta-languages, Theory and Practice. Association for Computing Machinery (ACM).
Попередження: стилі цитування не завжди правильні на всі 100%.