Monadic Logical Definability of NP-Complete Problems.

Etienne Grandjean, Frdric Olive

Browse the full CSL paper archive.