On monadic np vs. monadic co-np (1995)

by R Fagin, L Stockmeyer, M Y Vardi
Venue:Information and Computation