Reformatting for MatchingLogic.org (#3)

Very few edits to the text have been made, but the formatting has been changed, tables added and footnotes for the descriptions of papers. Minor order changes have also been made in the text.