Adding the SemFix paper to the bib file; it still needs to be incorporated into the paper though.