Representing reductions of NP-complete problems in logical frameworks: a case study.

Carsten Schrmann, Jatin Shah

Browse the full ICFP paper archive.