"Graph Connectivity, Monadic NP and Built-in Relations of Moderate Degree."

Thomas Schwentick (1995)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics