An Iterative Refinement Scheme of Dominating Guards and Witnesses for Art Gallery Problems.