Computing solutions uniquely collapses the polynomial hierarchy (1996)

by L Hemaspaandra, A Naik, M Ogihara, A Selman
Venue:SIAM Journal on Computing