The NP-completeness of Redundant Open-Locating-Dominating Set. - Robert Dohner; Suk Jai Seo (CoRR, 2022)