Added extra related-work
Added labels for lemmas
Updated bib
Fixing merge conflicts