A Rewrite System for Proof Constructivization. Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice. https://doi.org/10.1145/2966268.2966270
Chicago Style (17th ed.) Citation"A Rewrite System for Proof Constructivization." Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice . https://doi.org/10.1145/2966268.2966270.
MLA (9th ed.) Citation"A Rewrite System for Proof Constructivization." Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, , https://doi.org/10.1145/2966268.2966270.
Warning: These citations may not always be 100% accurate.