Burkhard Monien Ewald Speckenmeyer Ramsey Numbers and an Approximation Algorithm for the Vertex Cover Problem. 115-123 1985 22 Acta Inf. 1 db/journals/acta/acta22.html#MonienS85