Kaustuv Chaudhuri

Drafts

  1. K. Chaudhuri, M. Manighetti, and D. Miller. A proof-theoretic approach to certifying skolemization. Draft manuscript. Submitted. April 2018. Supplementary code