@misc{indiciae10b93c135f17, title = {On Canonical Forms of Complete Problems via First-order Projections}, author = {Nerio Borges and Blai Bonet}, year = {2007}, url = {https://arxiv.org/abs/0706.3412}, note = {Source identifier: 0706.3412} }