Updated proposal.bib to make it shorter