On monadic NP vs monadic co-NP (1994)

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