On Canonical Forms of Complete Problems via First-order Projections

Nerio Borges Blai Bonet On Canonical Forms of Complete Problems via First-order Projections http://arxiv.org/abs/0706.3412 2007 CoRR abs/0706.3412 db/journals/corr/corr0706.html#abs-0706-3412 informal publication