Ben He: Document Length Normalization. Encyclopedia of Database Systems (2nd ed.) 2018