On Monadic NP vs. Monadic co-NP Ronald Fagin Larry J. Stockmeyer Moshe Y. Vardi 78-92 Inf. Comput. July 1995 120 1 db/journals/iandc/iandc120.html#FaginSV95