Richard Chang
Cornell Univ., Ithaca, NY
Exact complexity of exact-four-colorability
Information Processing Letters