Monadic NP and Built-in Trees.

Martin Kreidler, Detlef Seese

Browse the full CSL paper archive.