On monadic NP vs monadic co-NP (1995)

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