The art gallery theorem for polygons with holes | IEEE Conference Publication | IEEE Xplore