Ike Mulder, Robbert Krebbers. Unification for Subformula Linking under Quantifiers. In Amin Timany, Dmitriy Traytel, Brigitte Pientka, Sandrine Blazy, editors, Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2024, London, UK, January 15-16, 2024. pages 75-88, ACM, 2024. [doi]
No references recorded for this publication.
No citations of this publication recorded.