"Logical Definability of NP-Optimization Problems with Monadic Auxiliary ..."

Clemens Lautemann (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics