Daniel Bienstock Clyde L. Monma On the Complexity of Covering Vertices by Faces in a Planar Graph. 53-76 1988 17 SIAM J. Comput. 1 db/journals/siamcomp/siamcomp17.html#BienstockM88