PaperOn monadic NP vs monadic co-NPRonald Fagin, Larry J. Stockmeyer, et al.Information and Computation
PaperUndecidable Optimization Problems for Database Logic ProgramsHaim Gaifman, Harry Mairson, et al.Journal of the ACM (JACM)