Kaustuv Chaudhuri, Matteo Manighetti, Dale Miller 0001. A proof-theoretic approach to certifying skolemization. In Assia Mahboubi, Magnus O. Myreen, editors, Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2019, Cascais, Portugal, January 14-15, 2019. pages 78-90, ACM, 2019. [doi]
Abstract is missing.