Miculan. Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice. Association for Computing Machinery (ACM).
Chicago Style (17th ed.) CitationMiculan. Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice. Association for Computing Machinery (ACM).
MLA (8th ed.) CitationMiculan. Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice. Association for Computing Machinery (ACM).
Warning: These citations may not always be 100% accurate.