Remove duplicate entries from the bibliography#138

timlg07 wants to merge 1 commit intoprogram-repair:masterprogram-repair/program-repair.github.io:masterfrom

timlg07:mastertimlg07/program-repair.github.io:masterCopy head branch name to clipboard