Moti Frances Ami Litman On Covering Problems of Codes. 113-119 1997 30 Theory Comput. Syst. 2 db/journals/mst/mst30.html#FrancesL97