Ramachendra P. Batni Jeffrey D. Russell Charles R. Kime An Efficient Algorithm for Finding an Irredundant Set Cover. 351-355 1974 21 J. ACM 3 http://doi.acm.org/10.1145/321832.321833 db/journals/jacm/jacm21.html#BatniRK74